Allow failure for respdiff:recent-named

Due to the lack of the ci/*.ini files in the prior releases, the
recent-named job fails to compile the previous version.

After a release with ci/*.ini files is published, the job will restore
to normal and this can be reverted.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0216200bc34fbca5d7fb8a929db590c809a17a72..aaf5d5551ddccb769ff1d94e2125a1a8ddaa2066 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2357,6 +2357,7 @@ respdiff:recent-named:
   variables:
     EXTRA_SETUP_FILES: "--native-file ci/respdiff.ini"
     MAX_DISAGREEMENTS_PERCENTAGE: "0.15"
+  allow_failure: true  # remove once B!12357 is part of a public release
 
 # Performance tests