Skip to content

Split ci-ubuntu workflow into multiple jobs and add caching#3049

Open
silas-hw wants to merge 36 commits into
agda:masterfrom
silas-hw:optimise-ci
Open

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

Commits

Commits on Jul 2, 2026

Commits on Jul 3, 2026

Commits on Jul 6, 2026

Commits on Jul 7, 2026