Skip to content

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

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

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

Fix restore cache step in test-stdlib-golden

9b20043
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Haskell-CI - Linux - ghc-8.10.7
succeeded Jul 7, 2026 in 1m 40s