formal verification

Merge branch 'governance-mode' into release-7.0.4 #1206

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	2m 38s
	2m 38s