Skip to content

Update formal-ledger-specifications #18932

Update formal-ledger-specifications

Update formal-ledger-specifications #18932

Triggered via pull request July 11, 2025 11:13
Status Cancelled
Total duration 1h 44m 4s
Artifacts 4

haskell.yml

on: pull_request
Matrix: build
fourmolu
44s
fourmolu
shellcheck
6s
shellcheck
cabal-format
6s
cabal-format
gen-hie
7m 7s
gen-hie
Check branch history
12s
Check branch history
Check if formal-ledger-specifications SRP is valid
12s
Check if formal-ledger-specifications SRP is valid
Matrix: test
Tests completed
2s
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

8 errors
cardano-ledger-conway-9.6.7-ubuntu-latest
The operation was canceled.
cardano-ledger-conway-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-conway-9.12.2-ubuntu-latest
The operation was canceled.
cardano-ledger-conway-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-conway-9.8.4-ubuntu-latest
The operation was canceled.
cardano-ledger-conway-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
Tests completed
Process completed with exit code 1.
Haskell CI
Canceling since a higher priority waiting request for Haskell CI-5162 exists

Artifacts

Produced during runtime
Name Size Digest
state-9.10.2-ubuntu-latest Expired
940 MB
sha256:0cc0e56d112d7b36a375ca048b1d78a0e5b3ba2909c12ea5375bcf7be34f6f79
state-9.12.2-ubuntu-latest Expired
936 MB
sha256:746565a508f6a9d37978e0f096770b11a7b466c836718c354f3e5af4edb6d980
state-9.6.7-ubuntu-latest Expired
952 MB
sha256:676163b73656bf9559f9507e0c0a726bd27378c3760b177897350d7e8e200990
state-9.8.4-ubuntu-latest Expired
932 MB
sha256:a29fc98383f55f97c95e8d722e7aca455f56e0ff889359dbd808248ae8d03baa