diff options
| -rwxr-xr-x | .gitlab/gen_ci.hs | 4 | ||||
| -rw-r--r-- | .gitlab/jobs.yaml | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/.gitlab/gen_ci.hs b/.gitlab/gen_ci.hs index 07380e20a5..bc7f12b38f 100755 --- a/.gitlab/gen_ci.hs +++ b/.gitlab/gen_ci.hs @@ -857,7 +857,9 @@ job_groups = , validateBuilds Amd64 (Linux Debian10) nativeInt , fastCI (validateBuilds Amd64 (Linux Debian10) unreg) , fastCI (validateBuilds Amd64 (Linux Debian10) debug) - , modifyValidateJobs manual tsan_jobs + , -- Nightly allowed to fail: #22520 + modifyNightlyJobs allowFailure + (modifyValidateJobs manual tsan_jobs) , -- Nightly allowed to fail: #22343 modifyNightlyJobs allowFailure (modifyValidateJobs manual (validateBuilds Amd64 (Linux Debian10) noTntc)) diff --git a/.gitlab/jobs.yaml b/.gitlab/jobs.yaml index abc052fc02..e2f95beea2 100644 --- a/.gitlab/jobs.yaml +++ b/.gitlab/jobs.yaml @@ -1333,7 +1333,7 @@ ".gitlab/ci.sh clean", "cat ci_timings" ], - "allow_failure": false, + "allow_failure": true, "artifacts": { "expire_in": "8 weeks", "paths": [ |