Reuse ledger code in conformance · IntersectMBO/formal-ledger-specifications@3a6db9e

Triggered via pull request November 25, 2024 12:52

UlfNorell

opened #618

Status Success

Total duration 22m 11s

Artifacts 3

build.yml

on: pull_request

2 errors and 1 warning

The process '/usr/bin/git' failed with exit code 1

ambiguous argument 'HEAD': unknown revision or path not in the working tree.

Unable to clean or reset the repository. The repository will be recreated instead.

Produced during runtime

Name	Size
PDF specs - Ledger	521 KB
PDF specs - Midnight	50.7 KB
Typechecking durations - FormalLedger	1.16 KB