Skip to content
formal verification

Feature/burn vouch spec updates #1121

Sign in to view logs

Feature/burn vouch spec updates

Feature/burn vouch spec updates #1121

This workflow is awaiting approval from a maintainer in #330
Triggered via pull request January 2, 2025 23:37
@Jayfromthe13thJayfromthe13th
synchronize #330
Jayfromthe13th:feature/burn-vouch-spec-updates
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #330

formal.yaml

on: pull_request
formal
formal
Fit to window
Zoom out
Zoom in