Consolidate RISC-V build workers #5

Merged
emily merged 2 commits from mikael/nixfiles-emily:main into main 2024-11-18 15:31:40 +01:00

2 commits