Merge pull request #4905 from IntersectMBO/lehins/move-gov-state-to-core
Move EraGov interface into cardano-ledger-core
#17289
lehinshaskell.yml
on: push
Matrix: build
fourmolu
46s
cabal-format
4s
gen-hie
5m 7s
Check branch history
0s
Check if formal-ledger-specifications SRP is valid
13s
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
|
861 MB |
|
|
state-9.10.1-ubuntu-latest
|
818 MB |
|
|
state-9.2.8-ubuntu-latest
|
960 MB |
|
|
state-9.6.6-ubuntu-latest
|
828 MB |
|
|
state-9.8.4-ubuntu-latest
|
808 MB |
|