Skip to content

Add diagrams to pdf #2604

Add diagrams to pdf

Add diagrams to pdf #2604

Triggered via pull request January 8, 2025 01:12
Status Failure
Total duration 27m 28s
Artifacts

build.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 6 warnings
Formal-Ledger
Process completed with exit code 1.
Midnight
Process completed with exit code 1.
Ledger-hs
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.
Formal-Ledger
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Midnight
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Ledger-hs
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
MAlonzo
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
MAlonzo
Unable to clean or reset the repository. The repository will be recreated instead.
Ledger-pdf
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636