diff --git a/.gitlab/ci/pipelines/before_merging.yml b/.gitlab/ci/pipelines/before_merging.yml
index 2ba5b9fc3ca452573005809adcfb71da1b09a005..e446930ebd9ea535f0ac6420a4cbdd094e16f0f7 100644
--- a/.gitlab/ci/pipelines/before_merging.yml
+++ b/.gitlab/ci/pipelines/before_merging.yml
@@ -237,7 +237,6 @@ oc.ocaml_fmt:
     when: on_success
   needs: []
   dependencies: []
-  allow_failure: true
   timeout: 60 minutes
   cache:
     key: dune_cache-$CI_JOB_NAME_SLUG
diff --git a/.gitlab/ci/pipelines/merge_train.yml b/.gitlab/ci/pipelines/merge_train.yml
index bf638a8dc5fc1ef8c49e08216d585b9fa6e4b18c..5519983eee1e2c2cc5b4d97d11adc6314ebdf525 100644
--- a/.gitlab/ci/pipelines/merge_train.yml
+++ b/.gitlab/ci/pipelines/merge_train.yml
@@ -237,7 +237,6 @@ oc.ocaml_fmt:
     when: on_success
   needs: []
   dependencies: []
-  allow_failure: true
   timeout: 60 minutes
   cache:
     key: dune_cache-$CI_JOB_NAME_SLUG
diff --git a/.gitlab/ci/pipelines/schedule_extended_test.yml b/.gitlab/ci/pipelines/schedule_extended_test.yml
index 47c716390ab2545a53ceff9b941996c800bceaa3..fe95cc508cd8ff3e9bfbc0ec490a9a9c4e373585 100644
--- a/.gitlab/ci/pipelines/schedule_extended_test.yml
+++ b/.gitlab/ci/pipelines/schedule_extended_test.yml
@@ -199,7 +199,6 @@ oc.ocaml_fmt:
   - when: always
   needs: []
   dependencies: []
-  allow_failure: true
   timeout: 60 minutes
   cache:
     key: dune_cache-$CI_JOB_NAME_SLUG
diff --git a/ci/bin/code_verification.ml b/ci/bin/code_verification.ml
index e880bbfaaf9a25e244685b9823a1a0d7bd666e92..8b46bfc00867ad9580a9d527297cda8d94f78a33 100644
--- a/ci/bin/code_verification.ml
+++ b/ci/bin/code_verification.ml
@@ -449,7 +449,6 @@ let jobs pipeline_type =
         ~stage
         ~dependencies
         ~rules:(make_rules ~changes:changeset_ocaml_fmt_files ())
-        ~allow_failure:Yes
         ~before_script:
           (before_script
              ~take_ownership:true