Adding Structured Contracts Framework #2647
polinavinobuild.yml
on: pull_request
Formal-Ledger
9m 15s
Ledger-hs
8m 59s
Ledger-pdf
26m 29s
Midnight
9m 29s
MAlonzo
9m 56s
Uploads
0s
Annotations
7 errors and 1 warning
|
Ledger-hs
Process completed with exit code 1.
|
|
Formal-Ledger
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.
|