Disable RISC-V

ocurrent · Jan 18, 2023 · 919cc7a · 919cc7a
1 parent 1f0499f
commit 919cc7a
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 =