Skip to content
formal verification

make governance::trigger_epoch an entry function #245

Sign in to view logs

make governance::trigger_epoch an entry function

make governance::trigger_epoch an entry function #245

Triggered via push January 14, 2024 17:30
@0o-de-lally0o-de-lally
pushed 464535a
release-6.9.3
Status Success
Total duration 1m 20s
Artifacts –

formal.yaml

on: push
formal
1m 11s
formal
Fit to window
Zoom out
Zoom in