Rearranging some of the duplicated code (#582) #2382
build.yml
on: pull_request
Formal-Ledger
8m 45s
Ledger-hs
7m 59s
Ledger-pdf
22m 37s
Midnight
15m 19s
MAlonzo
7m 58s
Uploads
0s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
PDF specs - Ledger
|
509 KB |
|
PDF specs - Midnight
|
50.7 KB |
|
Typechecking durations - FormalLedger
|
1.19 KB |
|