CI: Don't run style-check-diff by default

We don't use it most of the time and it's also confusing to new contributors who think it's important to fix it.

Keep it for manual runs, so that interested people can just click a button to see the results. It also makes it easy to turn back on later.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 13baacd54a5a88784b12f77bcb6fd9e683a82eeb..f5693a3999489d827bbb64c644d090363ebf20cb 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -39,7 +39,7 @@ style-check-diff:
   extends: .only-default
   image: $FEDORA_IMAGE
   stage: check
-  allow_failure: true
+  when: manual
   script:
     - .gitlab-ci/run-style-check-diff.sh