Skip to content

ci: add reliable Agda job (version-matched agda-stdlib via git) - #106

Merged
hyperpolymath merged 1 commit into
mainfrom
ci-agda-stdlib
Jul 7, 2026
Merged

ci: add reliable Agda job (version-matched agda-stdlib via git)#106
hyperpolymath merged 1 commit into
mainfrom
ci-agda-stdlib

ci: add reliable Agda job — git-cloned version-matched stdlib

90dd1e2
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Jul 7, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.