test(vcr-ra): RV32 lever baselines — pin pre-lever codegen for #472 levers (#472, #242)#485
Merged
Merged
Codecov / codecov/patch
succeeded
Jun 25, 2026 in 0s
100.00% of diff hit (target 84.19%)
View this Pull Request on Codecov
100.00% of diff hit (target 84.19%)
Loading