Skip to content
Formal Ledger Specs

Fix broken build from changed GOV' rule #762

Sign in to view logs

Fix broken build from changed GOV' rule

Fix broken build from changed GOV' rule #762

Triggered via push September 26, 2023 09:11
@UlfNorellUlfNorell
pushed 3f46f43
fix-gov-rule-breakage
Status Success
Total duration 37m 23s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: push
build
37m 13s
build
Fit to window
Zoom out
Zoom in