Skip to content
CI

Disable strip_zicsr for CI- riscv GCC is too new. #169

Sign in to view logs

Disable strip_zicsr for CI- riscv GCC is too new.

Disable strip_zicsr for CI- riscv GCC is too new. #169

Annotations

1 warning

RISC-V Formal Check

RISC-V Formal Check
succeeded Jan 20, 2025 in 29m 30s