Skip to content
Haskell CI

constrained-generators: Improve haddocks #18951

Sign in to view logs

constrained-generators: Improve haddocks

constrained-generators: Improve haddocks #18951

Run time

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