Replaced handwritten error messages with genErrors (#611) #2474
WhatisRTbuild.yml
on: push
Formal-Ledger
57s
Ledger-hs
55s
Ledger-pdf
9m 32s
Midnight
1m 21s
MAlonzo
17s
Uploads
28s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Docs-formalLedger
|
66.6 MB |
|
|
Docs-ledger-hs
|
2.12 MB |
|
|
Docs-ledger-pdf
|
4.34 MB |
|
|
Docs-midnight
|
4.83 MB |
|