Skip to content
Haskell CI

Merge pull request #4705 from IntersectMBO/nm/4180-AlonzoValidTxUTXOW-to-ImpTest Implement some of the tests in Alonzo.Imp.UtxowSpec.Valid #15985

Sign in to view logs

Merge pull request #4705 from IntersectMBO/nm/4180-AlonzoValidTxUTXOW-to-ImpTest Implement some of the tests in Alonzo.Imp.UtxowSpec.Valid

Merge pull request #4705 from IntersectMBO/nm/4180-AlonzoValidTxUTXOW-to-ImpTest Implement some of the tests in Alonzo.Imp.UtxowSpec.Valid #15985

Run time

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