Skip to content

fix(ci): robust agda-stdlib registration (green the proofs workflow) - #103

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

fix(ci): robust agda-stdlib registration (green the proofs workflow)#103
hyperpolymath merged 1 commit into
mainfrom
ci-agda-fix

fix(ci): robust agda-stdlib registration in proofs.yml

0db4cb6
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.