diff options
Diffstat (limited to '.gitlab/gen_ci.hs')
| -rwxr-xr-x | .gitlab/gen_ci.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab/gen_ci.hs b/.gitlab/gen_ci.hs index ec9c7714b2..c17d16f529 100755 --- a/.gitlab/gen_ci.hs +++ b/.gitlab/gen_ci.hs @@ -769,6 +769,7 @@ jobs = M.fromList $ concatMap flattenJobGroup $ , allowFailureGroup (addValidateRule FreeBSDTag (standardBuilds Amd64 FreeBSD)) , standardBuilds AArch64 Darwin , standardBuilds AArch64 (Linux Debian10) + , disableValidate (standardBuilds AArch64 (Linux Debian11)) , allowFailureGroup (disableValidate (standardBuilds ARMv7 (Linux Debian10))) , standardBuilds I386 (Linux Debian9) , allowFailureGroup (standardBuildsWithConfig Amd64 (Linux Alpine) static) |