Skip to content
Haskell CI

Translate all tests from BabbageFeatures to Imp test #18220

Sign in to view logs

Translate all tests from BabbageFeatures to Imp test

Translate all tests from BabbageFeatures to Imp test #18220

Run time

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