Skip to content
Haskell CI

[Wip] - Reorganize examples #18987

Sign in to view logs

[Wip] - Reorganize examples

[Wip] - Reorganize examples #18987

Run time

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