Skip to content
Formal Verification Workflow

Update Cargo.toml -- version bump #319

Sign in to view logs

Update Cargo.toml -- version bump

Update Cargo.toml -- version bump #319

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Formal Verification
2h 11m 47s
2h 11m 47s