Skip to content

ci

ci #1147

build (ubuntu-24.04, 8.10)

succeeded Jan 10, 2025 in 2m 0s
Set up job
1s
Run actions/checkout@v4
0s
Install GHCup
38s
Install system deps via brew
0s
Cache cabal stuff
2s
Build
1m 16s
Haddock
2s
Post Cache cabal stuff
0s
Post Run actions/checkout@v4
0s
Complete job
0s