Skip to content
Haskell CI

Update formal-ledger-specifications #18929

Sign in to view logs

Update formal-ledger-specifications

Update formal-ledger-specifications #18929

Triggered via pull request July 11, 2025 10:35
@carlostomecarlostome
opened #5162
carlos/update-fls
Status Cancelled
Total duration 39m 50s
Artifacts 4

haskell.yml

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

Annotations

133 errors
fourmolu
Process completed with exit code 1.
cardano-crypto-wrapper-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-alonzo-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-alonzo-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-allegra-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-allegra-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-data-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-api-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-babbage-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-babbage-test-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-alonzo-test-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-alonzo-test-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-api-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-babbage-test-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-byron-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-babbage-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-conformance-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-binary-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-byron-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-babbage-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-babbage-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-byron-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-babbage-test-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-binary-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-conway-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-binary-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-binary-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-conway-test-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-conway-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-conway-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-conformance-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-conformance-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-core-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-conway-test-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-conway-test-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-byron-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-conway-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-conway-test-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-core-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-conformance-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-core-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-mary-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-mary-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-shelley-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-core-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-mary-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-dijkstra-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-dijkstra-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-dijkstra-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-shelley-ma-test-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-dijkstra-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-shelley-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-shelley-test-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-shelley-ma-test-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-mary-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-shelley-ma-test-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-shelley-ma-test-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-shelley-test-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-shelley-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
byron-spec-ledger-9.6.7-ubuntu-latest
The operation was canceled.
byron-spec-ledger-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-shelley-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-test-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
byron-spec-chain-9.12.2-ubuntu-latest
The operation was canceled.
byron-spec-chain-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-protocol-tpraos-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
non-integral-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-test-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-shelley-test-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-protocol-tpraos-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-test-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
non-integral-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-protocol-tpraos-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
set-algebra-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-shelley-test-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
constrained-generators-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
constrained-generators-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
non-integral-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-test-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
constrained-generators-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
small-steps-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
vector-map-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-protocol-tpraos-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
non-integral-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
constrained-generators-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
vector-map-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
set-algebra-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
set-algebra-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
small-steps-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
set-algebra-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
small-steps-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-allegra-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
small-steps-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
vector-map-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
vector-map-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-alonzo-test-9.10.2-ubuntu-latest
The operation was canceled.
cardano-ledger-alonzo-test-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-data-9.10.2-ubuntu-latest
The operation was canceled.
cardano-data-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
byron-spec-ledger-9.10.2-ubuntu-latest
The operation was canceled.
byron-spec-ledger-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-alonzo-test-9.8.4-ubuntu-latest
The operation was canceled.
cardano-ledger-alonzo-test-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-allegra-9.10.2-ubuntu-latest
The operation was canceled.
cardano-ledger-allegra-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
byron-spec-ledger-9.12.2-ubuntu-latest
The operation was canceled.
byron-spec-ledger-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
byron-spec-chain-9.6.7-ubuntu-latest
The operation was canceled.
byron-spec-chain-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-data-9.6.7-ubuntu-latest
The operation was canceled.
cardano-data-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-alonzo-9.6.7-ubuntu-latest
The operation was canceled.
cardano-ledger-alonzo-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-crypto-wrapper-9.12.2-ubuntu-latest
The operation was canceled.
cardano-crypto-wrapper-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-alonzo-9.12.2-ubuntu-latest
The operation was canceled.
cardano-ledger-alonzo-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
byron-spec-ledger-9.8.4-ubuntu-latest
The operation was canceled.
byron-spec-ledger-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
byron-spec-chain-9.10.2-ubuntu-latest
The operation was canceled.
byron-spec-chain-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-crypto-wrapper-9.10.2-ubuntu-latest
The operation was canceled.
cardano-crypto-wrapper-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-data-9.8.4-ubuntu-latest
The operation was canceled.
cardano-data-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-babbage-test-9.6.7-ubuntu-latest
The operation was canceled.
cardano-ledger-babbage-test-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-api-9.8.4-ubuntu-latest
The operation was canceled.
cardano-ledger-api-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cardano-ledger-api-9.6.7-ubuntu-latest
The operation was canceled.
cardano-ledger-api-9.6.7-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:16e150fece644e50194813a318c7c54d435c224a0ad605e0d714da343047fdef
state-9.12.2-ubuntu-latest Expired
936 MB
sha256:00a94d65958e8da4324923bd49cfbbea709eeeea05134c296e5df5efbce04cd9
state-9.6.7-ubuntu-latest Expired
952 MB
sha256:2ede50d19d4c1440997887b22756c63db94634f2f271dccdb80a6c95f6dd264f
state-9.8.4-ubuntu-latest Expired
932 MB
sha256:a4bfcf72be49a5055550f9e5b9da134f051363ea8fe6c0f3cfb9578441c662d0