Skip to content

Add condition to test-stdlib and test-stdlib-golden to not run on push in ci-ubuntu - #3097

Merged
JacquesCarette merged 8 commits into
agda:masterfrom
silas-hw:ci-deduplicate
Jul 30, 2026
Merged

Add condition to test-stdlib and test-stdlib-golden to not run on push in ci-ubuntu#3097
JacquesCarette merged 8 commits into
agda:masterfrom
silas-hw:ci-deduplicate

Commits

Commits on Jul 30, 2026