diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index bf23ee36cd213945ac06ad6a539487ee884f923b..852d7474b3ee6c7d75bc21f71f1405670ddd12a0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -9,6 +9,14 @@ variables:
     DEFAULT: "master"
     FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
 
+check-no-old-frama-c:
+  stage: git-update
+  script:
+   - ! git merge-base --is-ancestor a1e186c68a6418a53b3dc06237f49e8dcbf75f4a HEAD
+   - git merge-base --is-ancestor a35d2118fe6999dddce9e1847eff626fae9cc37c HEAD
+  tags:
+   - nix
+
 #avoid a nix error https://github.com/NixOS/nix/issues/2087
 git-update:
   stage: git-update