Prepare for conformance equivalence #2478
Triggered via pull request
November 19, 2024 14:01
UlfNorell
Status
Failure
Total duration
50m 27s
Artifacts
–
build.yml
on: pull_request
Formal-Ledger
7m 7s
Ledger-hs
7m 10s
Ledger-pdf
19m 29s
Midnight
6m 55s
MAlonzo
7m 55s
Uploads
0s
Annotations
7 errors and 1 warning
|
Formal-Ledger
Process completed with exit code 1.
|
|
Ledger-hs
Process completed with exit code 1.
|
|
Midnight
Process completed with exit code 1.
|
|
MAlonzo
The process '/usr/bin/git' failed with exit code 1
|
|
MAlonzo
ambiguous argument 'HEAD': unknown revision or path not in the working tree.
|
|
MAlonzo
Process completed with exit code 1.
|
|
Ledger-pdf
Process completed with exit code 123.
|
|
MAlonzo
Unable to clean or reset the repository. The repository will be recreated instead.
|