Skip to content

Add defunct-readme check to CI - #3080

Open
silas-hw wants to merge 10 commits into
agda:masterfrom
silas-hw:defunct-readme-ci
Open

Add defunct-readme check to CI#3080
silas-hw wants to merge 10 commits into
agda:masterfrom
silas-hw:defunct-readme-ci

Revert "Delete arbritary README file"

539c48c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
init
succeeded Jul 16, 2026 in 3m 1s