Derek Parker 1ea883a22d
*: downgrade riscv64 (#4232)
The riscv64 builder has been broken since it was  enabled. While we wait
for a stable builder and assurances that riscv64 is passing, disable the
CI target and require the `exp.linuxrisc
2026-01-15 09:54:56 +01:00
..
2022-03-23 16:10:00 +01:00