Add type parameter to KeySpace and GenEnv (#4908)
* Add type parameter to KeySpace and GenEnv.
Change:
- KeySpace era
to KeySpace c era
, and
- GenEnv era
to GenEnv c era
.
- Make the rest of the project compile, judiciously using MockCrypto
to specialize where necessary.
Why:
The test-suite
package from cardano-ledger-shelley
exports some
functions and data-types that are used by ouroboros-consensus-cardano
package to write tests. These functions and data-types were
monomorphic to `Mock...
#17319
haskell.yml
on: push
Matrix: build
fourmolu
48s
cabal-format
6s
gen-hie
5m 32s
Check branch history
0s
Check if formal-ledger-specifications SRP is valid
11s
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
|
860 MB |
|
state-9.10.1-ubuntu-latest
Expired
|
818 MB |
|
state-9.2.8-ubuntu-latest
Expired
|
959 MB |
|
state-9.6.6-ubuntu-latest
Expired
|
827 MB |
|
state-9.8.4-ubuntu-latest
Expired
|
807 MB |
|