CERTS pov #2325
build.yml
on: pull_request
Formal-Ledger
7m 59s
Ledger-hs
9m 15s
Ledger-pdf
32m 32s
Midnight
20m 9s
MAlonzo
9m 18s
Uploads
4s
Annotations
1 error
MAlonzo
Process completed with exit code 128.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
PDF specs - Ledger
|
507 KB |
|
PDF specs - Midnight
|
50.7 KB |
|
Typechecking durations - FormalLedger
|
1.39 KB |
|