Skip to content
Haskell CI

Merge pull request #5206 from IntersectMBO/nm/4183-babbagefeatures-to-imp Translate tests from BabbageFeatures to Imp test (part 3) #19648

Sign in to view logs

Merge pull request #5206 from IntersectMBO/nm/4183-babbagefeatures-to-imp Translate tests from BabbageFeatures to Imp test (part 3)

Merge pull request #5206 from IntersectMBO/nm/4183-babbagefeatures-to-imp Translate tests from BabbageFeatures to Imp test (part 3) #19648

Run time

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