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.

Select a check to view from the sidebar