diff options
Diffstat (limited to '.gitlab/gen_ci.hs')
-rwxr-xr-x | .gitlab/gen_ci.hs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/.gitlab/gen_ci.hs b/.gitlab/gen_ci.hs index c5adc90662..07380e20a5 100755 --- a/.gitlab/gen_ci.hs +++ b/.gitlab/gen_ci.hs @@ -713,6 +713,10 @@ modifyJobs = fmap modifyValidateJobs :: (a -> a) -> JobGroup a -> JobGroup a modifyValidateJobs f jg = jg { v = f <$> v jg } +-- | Modify just the nightly jobs in a 'JobGroup' +modifyNightlyJobs :: (a -> a) -> JobGroup a -> JobGroup a +modifyNightlyJobs f jg = jg { n = f <$> n jg } + -- Generic helpers addJobRule :: Rule -> Job -> Job @@ -854,7 +858,9 @@ job_groups = , fastCI (validateBuilds Amd64 (Linux Debian10) unreg) , fastCI (validateBuilds Amd64 (Linux Debian10) debug) , modifyValidateJobs manual tsan_jobs - , modifyValidateJobs manual (validateBuilds Amd64 (Linux Debian10) noTntc) + , -- Nightly allowed to fail: #22343 + modifyNightlyJobs allowFailure + (modifyValidateJobs manual (validateBuilds Amd64 (Linux Debian10) noTntc)) , addValidateRule LLVMBackend (validateBuilds Amd64 (Linux Debian10) llvm) , disableValidate (standardBuilds Amd64 (Linux Debian11)) |