diff options
Diffstat (limited to '.gitlab/gen_ci.hs')
-rwxr-xr-x | .gitlab/gen_ci.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab/gen_ci.hs b/.gitlab/gen_ci.hs index 3bea08bd88..9e8130657f 100755 --- a/.gitlab/gen_ci.hs +++ b/.gitlab/gen_ci.hs @@ -823,7 +823,7 @@ jobs = Map.fromList $ concatMap (filter is_enabled_job . flattenJobGroup) , allowFailureGroup (addValidateRule FreeBSDLabel (standardBuilds Amd64 FreeBSD13)) , standardBuilds AArch64 Darwin , standardBuildsWithConfig AArch64 (Linux Debian10) (splitSectionsBroken vanilla) - , disableValidate (standardBuildsWithConfig AArch64 (Linux Debian10) llvm) + , disableValidate (validateBuilds AArch64 (Linux Debian10) llvm) , standardBuildsWithConfig I386 (Linux Debian9) (splitSectionsBroken vanilla) , standardBuildsWithConfig Amd64 (Linux Alpine) (splitSectionsBroken static) , disableValidate (allowFailureGroup (standardBuildsWithConfig Amd64 (Linux Alpine) staticNativeInt)) |