Disallow empty withdrawal proposals · IntersectMBO/formal-ledger-specifications@894ad8b

Triggered via pull request January 30, 2025 15:13

Soupstraw

opened #661

jj/empty-withdrawals

Status Success

Total duration 23m 29s

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	531 KB
PDF specs - Midnight	50.7 KB
Typechecking durations - FormalLedger	1.26 KB