formal verification

[move] formal specifications for vouch & burn modules #1118

Sign in to view logs

This workflow is awaiting approval from a maintainer in #330

Triggered via pull request January 2, 2025 23:21

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