Skip to content
Check formatting

Lean: Disable match_bv for now since it's breaking the RISC-V model (… #2135

Sign in to view logs

Lean: Disable match_bv for now since it's breaking the RISC-V model (…

Lean: Disable match_bv for now since it's breaking the RISC-V model (… #2135

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (5.0.0, ubuntu-latest, 0.26.0)
29s
29s