Skip to content
Haskell CI

Bumped the spec to include fixes to SecurityGroup parameters #17084

Sign in to view logs

Bumped the spec to include fixes to SecurityGroup parameters

Bumped the spec to include fixes to SecurityGroup parameters #17084

Triggered via pull request January 30, 2025 13:22
@SoupstrawSoupstraw
synchronize #4862
jj/security-group
Status Failure
Total duration 1h 37m 55s
Artifacts 5

haskell.yml

on: pull_request
Matrix: build
fourmolu
49s
fourmolu
cabal-format
7s
cabal-format
gen-hie
6m 10s
gen-hie
Check branch history
10s
Check branch history
Check if formal-ledger-specifications SRP is valid
3s
Check if formal-ledger-specifications SRP is valid
Matrix: test
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

114 errors
Check if formal-ledger-specifications SRP is valid
Process completed with exit code 1.
cardano-ledger-api-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-babbage-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-crypto-wrapper-9.6.6-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-allegra-8.10.7-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-alonzo-test-9.6.6-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-alonzo-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-crypto-wrapper-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-babbage-test-9.2.8-ubuntu-latest
Process completed with exit code 1.
byron-spec-chain-9.8.4-ubuntu-latest
Process completed with exit code 1.
byron-spec-chain-9.6.6-ubuntu-latest
Process completed with exit code 1.
cardano-crypto-wrapper-9.2.8-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-alonzo-8.10.7-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-babbage-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-crypto-wrapper-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-allegra-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-babbage-test-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-alonzo-test-9.2.8-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-alonzo-9.6.6-ubuntu-latest
Process completed with exit code 1.
byron-spec-ledger-9.2.8-ubuntu-latest
Process completed with exit code 1.
byron-spec-ledger-9.6.6-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-alonzo-test-8.10.7-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-api-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-babbage-9.2.8-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-alonzo-9.2.8-ubuntu-latest
Process completed with exit code 1.
byron-spec-ledger-8.10.7-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-allegra-9.6.6-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-alonzo-test-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-babbage-8.10.7-ubuntu-latest
Process completed with exit code 1.
cardano-data-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-babbage-9.6.6-ubuntu-latest
Process completed with exit code 1.
byron-spec-chain-8.10.7-ubuntu-latest
Process completed with exit code 1.
cardano-data-9.6.6-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-api-8.10.7-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-babbage-test-9.6.6-ubuntu-latest
Process completed with exit code 1.
byron-spec-chain-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-data-9.2.8-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-conway-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-binary-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-alonzo-test-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-byron-9.10.1-ubuntu-latest
Process completed with exit code 1.
byron-spec-ledger-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-binary-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-conformance-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-api-9.6.6-ubuntu-latest
Process completed with exit code 1.
byron-spec-ledger-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-byron-9.6.6-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-conway-test-9.6.6-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-mary-9.2.8-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-mary-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-conformance-9.6.6-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-shelley-9.6.6-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-shelley-test-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-conway-test-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-conway-test-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-shelley-ma-test-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-babbage-test-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-conway-9.2.8-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-conway-8.10.7-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-mary-9.6.6-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-shelley-ma-test-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-shelley-9.2.8-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-conway-9.6.6-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-shelley-test-9.2.8-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-mary-8.10.7-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-shelley-ma-test-8.10.7-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-core-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-shelley-test-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-shelley-ma-test-9.2.8-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-alonzo-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-shelley-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-test-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-shelley-test-8.10.7-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-shelley-test-9.6.6-ubuntu-latest
Process completed with exit code 1.
constrained-generators-9.2.8-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-conformance-9.2.8-ubuntu-latest
Process completed with exit code 1.
non-integral-9.6.6-ubuntu-latest
Process completed with exit code 1.
cardano-protocol-tpraos-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-test-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-protocol-tpraos-8.10.7-ubuntu-latest
Process completed with exit code 1.
constrained-generators-8.10.7-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-shelley-8.10.7-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-test-9.2.8-ubuntu-latest
Process completed with exit code 1.
constrained-generators-9.6.6-ubuntu-latest
Process completed with exit code 1.
non-integral-9.10.1-ubuntu-latest
Process completed with exit code 1.
non-integral-9.8.4-ubuntu-latest
Process completed with exit code 1.
set-algebra-8.10.7-ubuntu-latest
Process completed with exit code 1.
non-integral-9.2.8-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-core-9.10.1-ubuntu-latest
Process completed with exit code 1.
small-steps-8.10.7-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-shelley-ma-test-9.6.6-ubuntu-latest
Process completed with exit code 1.
cardano-protocol-tpraos-9.6.6-ubuntu-latest
Process completed with exit code 1.
non-integral-8.10.7-ubuntu-latest
Process completed with exit code 1.
set-algebra-9.6.6-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-mary-9.10.1-ubuntu-latest
Process completed with exit code 1.
vector-map-8.10.7-ubuntu-latest
Process completed with exit code 1.
small-steps-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-test-9.6.6-ubuntu-latest
Process completed with exit code 1.
vector-map-9.2.8-ubuntu-latest
Process completed with exit code 1.
cardano-protocol-tpraos-9.2.8-ubuntu-latest
Process completed with exit code 1.
small-steps-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-protocol-tpraos-9.8.4-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-test-8.10.7-ubuntu-latest
Process completed with exit code 1.
set-algebra-9.2.8-ubuntu-latest
Process completed with exit code 1.
small-steps-9.2.8-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-babbage-test-8.10.7-ubuntu-latest
Process completed with exit code 1.
small-steps-9.6.6-ubuntu-latest
Process completed with exit code 1.
vector-map-9.10.1-ubuntu-latest
Process completed with exit code 1.
vector-map-9.8.4-ubuntu-latest
Process completed with exit code 1.
set-algebra-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-shelley-9.8.4-ubuntu-latest
Process completed with exit code 1.
vector-map-9.6.6-ubuntu-latest
Process completed with exit code 1.
set-algebra-9.8.4-ubuntu-latest
Process completed with exit code 1.
Tests completed
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
state-8.10.7-ubuntu-latest
835 MB
state-9.10.1-ubuntu-latest
792 MB
state-9.2.8-ubuntu-latest
935 MB
state-9.6.6-ubuntu-latest
802 MB
state-9.8.4-ubuntu-latest
782 MB