Fix Conway implementation of RegTxCert and UnRegTxCert #15590
Triggered via pull request
September 13, 2024 12:21
teodanciu
Status
Success
Total duration
2h 12m 19s
Artifacts
5
haskell.yml
on: pull_request
Matrix: build
fourmolu
47s
cabal-format
6s
gen-hie
10s
Check branch history
9s
Check if formal-ledger-specifications SRP is valid
27s
Matrix: test
Tests completed
0s
Send a slack notification on \#ledger-internal if the nightly build failed
0s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
state-8.10.7-ubuntu-latest
Expired
|
779 MB |
|
|
state-9.10.1-ubuntu-latest
Expired
|
725 MB |
|
|
state-9.2.8-ubuntu-latest
Expired
|
752 MB |
|
|
state-9.6.6-ubuntu-latest
Expired
|
737 MB |
|
|
state-9.8.2-ubuntu-latest
Expired
|
717 MB |
|