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

Triggered via push February 14, 2025 11:35
@AlasdairAlasdair
pushed bceade0
sail2
Status Success
Total duration 38s
Artifacts –

formatting.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in