Prepare for conformance equivalence (#614) #2481
UlfNorellbuild.yml
on: push
Formal-Ledger
59s
Ledger-hs
56s
Ledger-pdf
8m 19s
Midnight
1m 32s
MAlonzo
17s
Uploads
20s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Docs-formalLedger
|
65.2 MB |
|
|
Docs-ledger-hs
|
2.15 MB |
|
|
Docs-ledger-pdf
|
4.34 MB |
|
|
Docs-midnight
|
4.83 MB |
|