From e05c3b3b2d8dc53ae1fc53caf1c339837b4302ed Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Antonin=20D=C3=A9cimo?= Date: Wed, 18 Jan 2023 18:02:46 +0100 Subject: [PATCH] Disable RISC-V --- service/conf.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/service/conf.ml b/service/conf.ml index b7a129ef..c0e3a4b9 100644 --- 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 =