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

Revert "[ temp ]: Add false condition to test changes work"

4c57ab8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
check-whitespace
succeeded Jul 30, 2026 in 10s