Rearranging some of the duplicated code (#582) · IntersectMBO/formal-ledger-specifications@7af314b

Triggered via pull request October 22, 2024 15:00

UlfNorell

opened #598

issue582

Status Failure

Total duration 22m 47s

Artifacts 3

build.yml

on: pull_request

2 errors

Process completed with exit code 1.

Process completed with exit code 1.

Produced during runtime

Name	Size
PDF specs - Ledger	509 KB
PDF specs - Midnight	50.7 KB
Typechecking durations - FormalLedger	1.19 KB