Skip to content

Split ci-ubuntu workflow into multiple jobs#3049

Draft
silas-hw wants to merge 21 commits into
agda:masterfrom
silas-hw:optimise-ci
Draft

Split ci-ubuntu workflow into multiple jobs#3049
silas-hw wants to merge 21 commits into
agda:masterfrom
silas-hw:optimise-ci

Commits

Commits on Jul 2, 2026