RISC-V

feat: add is_proposer from the lean spec #1809

Sign in to view logs

Triggered via pull request August 14, 2025 04:20

opened #703

shariqnaiyer:feature/shariqnaiyer/is-proposer-lean

Status Success

Total duration 1m 31s

Artifacts –

riscv.yml

on: pull_request