Tools for constrained generation of types that need witnessing #16364
TimSheardhaskell.yml
on: pull_request
Matrix: build
fourmolu
45s
cabal-format
5s
gen-hie
5m 29s
Check branch history
12s
Check if formal-ledger-specifications SRP is valid
18s
Matrix: test
Tests completed
0s
Send a slack notification on \#ledger-internal if the nightly build failed
0s
Annotations
11 errors
|
cardano-ledger-conformance-9.10.1-ubuntu-latest
Process completed with exit code 1.
|
|
cardano-ledger-conformance-9.8.2-ubuntu-latest
Process completed with exit code 1.
|
|
cardano-ledger-conformance-9.2.8-ubuntu-latest
Process completed with exit code 1.
|
|
cardano-ledger-conformance-9.6.6-ubuntu-latest
Process completed with exit code 1.
|
|
cardano-ledger-conformance-8.10.7-ubuntu-latest
Process completed with exit code 1.
|
|
cardano-ledger-test-9.8.2-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.6.6-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
Expired
|
827 MB |
|
|
state-9.10.1-ubuntu-latest
Expired
|
774 MB |
|
|
state-9.2.8-ubuntu-latest
Expired
|
803 MB |
|
|
state-9.6.6-ubuntu-latest
Expired
|
786 MB |
|
|
state-9.8.2-ubuntu-latest
Expired
|
765 MB |
|