Address issues in auto-generated CDDL specification #15653
teodanciuhaskell.yml
on: pull_request
Matrix: build
fourmolu
47s
cabal-format
7s
gen-hie
5m 20s
Check branch history
9s
Check if formal-ledger-specifications SRP is valid
31s
Matrix: test
Tests completed
0s
Send a slack notification on \#ledger-internal if the nightly build failed
0s
Annotations
153 errors
|
Check branch history
Process completed with exit code 1.
|
|
cardano-ledger-shelley-test-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-shelley-test-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-shelley-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-shelley-ma-test-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-shelley-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-shelley-test-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-shelley-test-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-test-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-test-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-test-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-test-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-test-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-conformance-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-conformance-9.8.2-ubuntu-latest
The operation was canceled.
|
|
cardano-protocol-tpraos-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-protocol-tpraos-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-protocol-tpraos-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-protocol-tpraos-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
constrained-generators-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-protocol-tpraos-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-conformance-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-conformance-8.10.7-ubuntu-latest
The operation was canceled.
|
|
constrained-generators-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
constrained-generators-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
constrained-generators-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
constrained-generators-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
non-integral-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
non-integral-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
non-integral-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
non-integral-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
non-integral-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
set-algebra-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
set-algebra-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
set-algebra-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
set-algebra-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
small-steps-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
set-algebra-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
small-steps-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
small-steps-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
small-steps-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
small-steps-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
vector-map-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
vector-map-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
vector-map-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-conway-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-conway-9.8.2-ubuntu-latest
The operation was canceled.
|
|
vector-map-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-conway-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-conway-8.10.7-ubuntu-latest
The operation was canceled.
|
|
vector-map-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-shelley-ma-test-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-shelley-ma-test-9.2.8-ubuntu-latest
A task was canceled.
|
|
cardano-ledger-conway-test-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-conway-test-9.10.1-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-byron-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-byron-9.8.2-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-conway-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-conway-9.10.1-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-allegra-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-allegra-9.6.6-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-conway-test-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-conway-test-9.2.8-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-api-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-api-9.6.6-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-conway-test-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-conway-test-9.8.2-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-mary-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-mary-9.10.1-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-shelley-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-shelley-9.10.1-ubuntu-latest
The operation was canceled.
|
|
byron-spec-ledger-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
byron-spec-ledger-8.10.7-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-alonzo-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-alonzo-9.2.8-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-babbage-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-babbage-9.10.1-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-core-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-core-8.10.7-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-shelley-test-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-shelley-test-9.2.8-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-alonzo-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-alonzo-9.8.2-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-conformance-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-conformance-9.6.6-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-mary-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
byron-spec-ledger-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
byron-spec-ledger-9.2.8-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-alonzo-test-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-alonzo-test-9.10.1-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-byron-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-byron-9.10.1-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-alonzo-test-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-alonzo-test-9.6.6-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-babbage-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-babbage-9.2.8-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-mary-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-mary-9.6.6-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-shelley-ma-test-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-shelley-ma-test-9.6.6-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-shelley-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-shelley-9.8.2-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-alonzo-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-alonzo-9.6.6-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-byron-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-byron-9.2.8-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-conformance-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-conformance-9.10.1-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-conway-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-alonzo-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-alonzo-9.10.1-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-shelley-ma-test-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-shelley-ma-test-9.8.2-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-byron-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-byron-9.6.6-ubuntu-latest
The operation was canceled.
|
|
byron-spec-chain-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
byron-spec-chain-9.2.8-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-mary-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-conformance-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-conformance-9.2.8-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-babbage-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-babbage-8.10.7-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-conway-test-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-core-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-core-9.8.2-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-shelley-ma-test-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-shelley-ma-test-9.10.1-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-byron-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-byron-8.10.7-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-shelley-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-shelley-9.6.6-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-core-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-core-9.2.8-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-conway-test-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-core-9.10.1-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-core-9.10.1-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-core-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-alonzo-test-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-alonzo-test-8.10.7-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-conway-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-alonzo-8.10.7-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-alonzo-8.10.7-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-mary-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-mary-9.2.8-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-babbage-9.6.6-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-babbage-9.6.6-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-alonzo-test-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-alonzo-test-9.8.2-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-babbage-9.8.2-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-babbage-9.8.2-ubuntu-latest
The operation was canceled.
|
|
cardano-ledger-alonzo-test-9.2.8-ubuntu-latest
Canceling since a higher priority waiting request for 'Haskell CI-4553' exists
|
|
cardano-ledger-alonzo-test-9.2.8-ubuntu-latest
The operation was canceled.
|
|
Tests completed
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
state-8.10.7-ubuntu-latest
|
792 MB |
|
|
state-9.10.1-ubuntu-latest
|
738 MB |
|
|
state-9.2.8-ubuntu-latest
|
765 MB |
|
|
state-9.6.6-ubuntu-latest
|
750 MB |
|
|
state-9.8.2-ubuntu-latest
|
730 MB |
|