Skip to content
Haskell CI

Added Dijkstra era #18227

Sign in to view logs

Added Dijkstra era

Added Dijkstra era #18227

Triggered via pull request May 21, 2025 12:37
@SoupstrawSoupstraw
synchronize #5030
jj/dijkstra-certs
Status Cancelled
Total duration 7m 28s
Artifacts –

haskell.yml

on: pull_request
Matrix: build
fourmolu
50s
fourmolu
cabal-format
5s
cabal-format
gen-hie
4m 46s
gen-hie
Check branch history
11s
Check branch history
Check if formal-ledger-specifications SRP is valid
10s
Check if formal-ledger-specifications SRP is valid
Matrix: test
codegen
0s
codegen
Tests completed
0s
Tests completed
Send a slack notification on \#ledger-internal if the nightly build failed
0s
Send a slack notification on \#ledger-internal if the nightly build failed
Fit to window
Zoom out
Zoom in

Annotations

9 errors
fourmolu
Process completed with exit code 1.
build (9.12.2, ubuntu-latest)
Process completed with exit code 1.
build (9.10.2, ubuntu-latest)
Canceling since a higher priority waiting request for 'Haskell CI-5030' exists
gen-hie
Canceling since a higher priority waiting request for 'Haskell CI-5030' exists
gen-hie
The operation was canceled.
build (9.6.7, ubuntu-latest)
Canceling since a higher priority waiting request for 'Haskell CI-5030' exists
build (9.6.7, ubuntu-latest)
The operation was canceled.
build (9.8.4, ubuntu-latest)
Canceling since a higher priority waiting request for 'Haskell CI-5030' exists
Tests completed
Process completed with exit code 1.