Skip to content
Formal verification

Lock arch-tests in CI to 3.9 until incompatibility is resolved #111

Sign in to view logs

Lock arch-tests in CI to 3.9 until incompatibility is resolved

Lock arch-tests in CI to 3.9 until incompatibility is resolved #111

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run RISCV-formal verification suite
4m 38s
4m 38s