Skip to content

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

Open
silas-hw wants to merge 50 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 50 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

Commits on Jul 9, 2026

Commits on Jul 10, 2026

Commits on Jul 13, 2026