diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b9679140a71de67d6cc79475ce1bcebd63c72c43..a557260f9dbe9369609fb4736538d4c980accaf4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -10,6 +10,9 @@ variables:
   script:
     - make -C $TARGET/.frama-c clean
     - make $TARGET
+    # note: the command below is needed due to recent git releases, which
+    #       enforce stricter permission controls w.r.t to ownership of '.git'.
+    - git config --global --add safe.directory $PWD
     - git diff --exit-code $TARGET
     - make $TARGET.sarif
   artifacts: