Skip to content

Add colour to defunct-readme.sh and ignore .git - #3086

Open
silas-hw wants to merge 1 commit into
agda:masterfrom
silas-hw:colour-readme-ci
Open

Add colour to defunct-readme.sh and ignore .git#3086
silas-hw wants to merge 1 commit into
agda:masterfrom
silas-hw:colour-readme-ci

Add colour and ignore .git

171a95c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
check-whitespace
succeeded Jul 23, 2026 in 8s