formal verification

WIP [move] validator auction includes random sampling #1166

Sign in to view logs

Summary
Jobs
- formal
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formal	5m 47s
	5m 47s