formal verification

add framework compile #209

Sign in to view logs

Summary
Jobs
- formal
Run details
- Usage
- Workflow file

Triggered via push December 19, 2023 22:23

0o-de-lally

ultra-elite-validators

Status Success

Total duration 1m 24s

Artifacts –

formal.yaml

on: push