Tools for constrained generation of types that need witnessing #16438
Triggered via pull request
November 26, 2024 17:22
TimSheard
Status
Failure
Total duration
2h 18m 57s
Artifacts
5
haskell.yml
on: pull_request
Matrix: build
fourmolu
59s
cabal-format
6s
gen-hie
5m 36s
Check branch history
10s
Check if formal-ledger-specifications SRP is valid
19s
Matrix: test
Tests completed
0s
Send a slack notification on \#ledger-internal if the nightly build failed
0s
Annotations
6 errors
|
cardano-ledger-test-9.8.2-ubuntu-latest
Process completed with exit code 1.
|
|
cardano-ledger-test-9.6.6-ubuntu-latest
Process completed with exit code 1.
|
|
cardano-ledger-test-9.2.8-ubuntu-latest
Process completed with exit code 1.
|
|
cardano-ledger-test-8.10.7-ubuntu-latest
Process completed with exit code 1.
|
|
cardano-ledger-test-9.10.1-ubuntu-latest
Process completed with exit code 1.
|
|
Tests completed
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
state-8.10.7-ubuntu-latest
|
827 MB |
|
|
state-9.10.1-ubuntu-latest
|
773 MB |
|
|
state-9.2.8-ubuntu-latest
|
803 MB |
|
|
state-9.6.6-ubuntu-latest
|
786 MB |
|
|
state-9.8.2-ubuntu-latest
|
776 MB |
|