Skip to content

Merge branch 'ci7' #291

Merge branch 'ci7'

Merge branch 'ci7' #291

Annotations

1 warning

build (ubuntu-latest, 9.10)

succeeded Jan 5, 2025 in 4m 8s
Set up job
1s
Run actions/checkout@v4
1s
Install dependencies (Ubuntu)
13s
Run haskell/ghcup-setup@v1
1s
Build
2m 25s
Run cabal bench
1m 4s
make all
17s
Post Run actions/checkout@v4
0s
Complete job
0s