Skip to content
Haskell CI

Made predicate failures for TICK subrules Void in Shelley #19677

Sign in to view logs

Made predicate failures for TICK subrules Void in Shelley

Made predicate failures for TICK subrules Void in Shelley #19677

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (9.8.4, ubuntu-latest)
22m 6s
cabal-format
6s
build (9.10.2, ubuntu-latest)
29m 25s
build (9.12.2, ubuntu-latest)
20m 58s
gen-hie
7m 19s
fourmolu
42s
build (9.6.7, ubuntu-latest)
24m 1s
Check branch history
12s
shellcheck
9s
Check if formal-ledger-specifications SRP is valid
25s
Check that there are no additions of `undefined`s in the PR diff
27s
codegen
10m 14s
byron-spec-chain-9.8.4-ubuntu-latest
6m 52s
byron-spec-chain-9.6.7-ubuntu-latest
10m 17s
byron-spec-chain-9.10.2-ubuntu-latest
8m 34s
byron-spec-ledger-9.10.2-ubuntu-latest
6m 18s
byron-spec-ledger-9.8.4-ubuntu-latest
7m 19s
cardano-crypto-wrapper-9.10.2-ubuntu-latest
7m 44s
byron-spec-chain-9.12.2-ubuntu-latest
8m 11s
cardano-crypto-wrapper-9.6.7-ubuntu-latest
6m 45s
byron-spec-ledger-9.12.2-ubuntu-latest
5m 57s
cardano-data-9.6.7-ubuntu-latest
5m 56s
byron-spec-ledger-9.6.7-ubuntu-latest
7m 7s
cardano-data-9.8.4-ubuntu-latest
6m 28s
cardano-data-9.12.2-ubuntu-latest
5m 32s
cardano-crypto-wrapper-9.12.2-ubuntu-latest
6m 29s
cardano-ledger-allegra-9.8.4-ubuntu-latest
12m 13s
cardano-ledger-allegra-9.6.7-ubuntu-latest
12m 27s
cardano-ledger-alonzo-9.6.7-ubuntu-latest
20m 57s
cardano-data-9.10.2-ubuntu-latest
6m 56s
cardano-crypto-wrapper-9.8.4-ubuntu-latest
5m 54s
cardano-ledger-allegra-9.10.2-ubuntu-latest
6m 59s
cardano-ledger-alonzo-test-9.10.2-ubuntu-latest
10m 43s
cardano-ledger-alonzo-9.8.4-ubuntu-latest
24m 24s
cardano-ledger-alonzo-9.10.2-ubuntu-latest
24m 5s
cardano-ledger-alonzo-9.12.2-ubuntu-latest
21m 43s
cardano-ledger-alonzo-test-9.12.2-ubuntu-latest
9m 25s
cardano-ledger-allegra-9.12.2-ubuntu-latest
7m 13s
cardano-ledger-api-9.10.2-ubuntu-latest
9m 6s
cardano-ledger-alonzo-test-9.6.7-ubuntu-latest
10m 11s
cardano-ledger-alonzo-test-9.8.4-ubuntu-latest
10m 39s
cardano-ledger-babbage-9.8.4-ubuntu-latest
24m 41s
cardano-ledger-binary-9.12.2-ubuntu-latest
11m 41s
cardano-ledger-binary-9.6.7-ubuntu-latest
6m 43s
cardano-ledger-byron-9.8.4-ubuntu-latest
16m 8s
cardano-ledger-babbage-9.10.2-ubuntu-latest
20m 14s
cardano-ledger-binary-9.8.4-ubuntu-latest
7m 3s
cardano-ledger-api-9.12.2-ubuntu-latest
9m 37s
cardano-ledger-byron-9.10.2-ubuntu-latest
14m 5s
cardano-ledger-api-9.8.4-ubuntu-latest
10m 22s
cardano-ledger-babbage-9.6.7-ubuntu-latest
23m 57s
cardano-ledger-api-9.6.7-ubuntu-latest
10m 27s
cardano-ledger-binary-9.10.2-ubuntu-latest
6m 8s
cardano-ledger-byron-9.6.7-ubuntu-latest
14m 16s
cardano-ledger-babbage-9.12.2-ubuntu-latest
20m 14s
cardano-ledger-conformance-9.10.2-ubuntu-latest
13m 3s
cardano-ledger-conway-9.10.2-ubuntu-latest
1h 0m 32s
cardano-ledger-conway-9.8.4-ubuntu-latest
1h 7m 0s
cardano-ledger-conformance-9.8.4-ubuntu-latest
18m 34s
cardano-ledger-core-9.6.7-ubuntu-latest
8m 9s
cardano-ledger-conformance-9.6.7-ubuntu-latest
18m 9s
cardano-ledger-conformance-9.12.2-ubuntu-latest
13m 36s
cardano-ledger-core-9.8.4-ubuntu-latest
12m 13s
cardano-ledger-conway-9.12.2-ubuntu-latest
1h 4m 19s
cardano-ledger-core-9.10.2-ubuntu-latest
8m 15s
cardano-ledger-dijkstra-9.10.2-ubuntu-latest
36m 23s
cardano-ledger-dijkstra-9.6.7-ubuntu-latest
39m 11s
cardano-ledger-dijkstra-9.12.2-ubuntu-latest
36m 27s
cardano-ledger-conway-9.6.7-ubuntu-latest
1h 4m 36s
cardano-ledger-dijkstra-9.8.4-ubuntu-latest
34m 22s
cardano-ledger-mary-9.10.2-ubuntu-latest
7m 47s
cardano-ledger-mary-9.6.7-ubuntu-latest
10m 26s
cardano-ledger-shelley-9.10.2-ubuntu-latest
10m 14s
cardano-ledger-mary-9.8.4-ubuntu-latest
12m 26s
cardano-ledger-mary-9.12.2-ubuntu-latest
8m 17s
cardano-ledger-shelley-ma-test-9.8.4-ubuntu-latest
23m 23s
cardano-ledger-core-9.12.2-ubuntu-latest
6m 44s
cardano-ledger-shelley-test-9.6.7-ubuntu-latest
38m 9s
cardano-ledger-shelley-9.12.2-ubuntu-latest
9m 29s
cardano-ledger-shelley-9.8.4-ubuntu-latest
10m 42s
cardano-ledger-shelley-9.6.7-ubuntu-latest
13m 13s
cardano-ledger-shelley-ma-test-9.6.7-ubuntu-latest
19m 22s
cardano-ledger-shelley-ma-test-9.12.2-ubuntu-latest
18m 58s
cardano-ledger-shelley-test-9.8.4-ubuntu-latest
36m 48s
cardano-ledger-test-9.12.2-ubuntu-latest
29m 41s
cardano-ledger-byron-9.12.2-ubuntu-latest
10m 27s
cardano-ledger-test-9.6.7-ubuntu-latest
27m 55s
non-integral-9.6.7-ubuntu-latest
6m 56s
cardano-ledger-test-9.8.4-ubuntu-latest
27m 27s
cardano-ledger-shelley-test-9.12.2-ubuntu-latest
35m 14s
set-algebra-9.8.4-ubuntu-latest
5m 40s
cardano-protocol-tpraos-9.12.2-ubuntu-latest
9m 40s
non-integral-9.12.2-ubuntu-latest
4m 51s
cardano-ledger-test-9.10.2-ubuntu-latest
29m 54s
set-algebra-9.6.7-ubuntu-latest
14m 12s
non-integral-9.8.4-ubuntu-latest
8m 50s
cardano-protocol-tpraos-9.6.7-ubuntu-latest
8m 34s
cardano-ledger-shelley-test-9.10.2-ubuntu-latest
31m 14s
set-algebra-9.12.2-ubuntu-latest
6m 32s
cardano-protocol-tpraos-9.8.4-ubuntu-latest
13m 14s
cardano-ledger-shelley-ma-test-9.10.2-ubuntu-latest
19m 3s
cardano-protocol-tpraos-9.10.2-ubuntu-latest
8m 2s
non-integral-9.10.2-ubuntu-latest
5m 47s
small-steps-9.8.4-ubuntu-latest
7m 4s
small-steps-9.6.7-ubuntu-latest
6m 18s
set-algebra-9.10.2-ubuntu-latest
5m 11s
vector-map-9.8.4-ubuntu-latest
6m 27s
small-steps-9.10.2-ubuntu-latest
6m 36s
vector-map-9.12.2-ubuntu-latest
5m 39s
small-steps-9.12.2-ubuntu-latest
5m 4s
vector-map-9.6.7-ubuntu-latest
5m 46s
vector-map-9.10.2-ubuntu-latest
5m 21s
Tests completed
3s
Send a slack notification on \#ledger-internal if the nightly build failed
0s
1d 4h 1m 33s