Disable RISC-V

ocurrent · Mar 13, 2023 · e05c3b3 · e05c3b3
1 parent 2aeb340
commit e05c3b3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/service/conf.ml b/service/conf.ml
@@ -116,7 +116,7 @@ let pool_of_arch = function
   | `Ppc64le -> "linux-ppc64"
   | `Riscv64 -> "linux-riscv64"
 
-let disabled_arches = []
+let disabled_arches = [ `Riscv64 (* Unsufficient capacity in the pool *) ]
 
 (* Arches supported by [distro] but unsupported by [DD.master_distro]. *)
 let supplementary_arches ov master_distro distro =