diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 63b35ec33fe388d29bd0551922d979ce63112aca..cf3978f471c3fc5736397dd21ca512042d6c54d0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -97,7 +97,7 @@ check-publish:
 check-release:
   stage: prepare
   script:
-    - ./check-release.sh
+    - ./nix/frama-c-public/check-release.sh
   <<: *when_release
 
 # Observed: when several shell with same dependencies are started, deadlock may