Skip to content
Formal Ledger Specs

CERTS pov #2307

Sign in to view logs

CERTS pov

CERTS pov #2307

Triggered via pull request October 2, 2024 01:39
@williamdemeowilliamdemeo
synchronize #575
467-certs-pov
Status Failure
Total duration 10m 9s
Artifacts –

build.yml

on: pull_request
Formal-Ledger
3m 46s
Formal-Ledger
Ledger-hs
3m 44s
Ledger-hs
Ledger-pdf
9m 57s
Ledger-pdf
Midnight
3m 52s
Midnight
MAlonzo
3m 50s
MAlonzo
Uploads
0s
Uploads
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Ledger-hs
Process completed with exit code 1.
Formal-Ledger
Process completed with exit code 1.
MAlonzo
Process completed with exit code 1.
Midnight
Process completed with exit code 1.
Ledger-pdf
Process completed with exit code 123.