diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3ff7baef0bfc584690eecd152b3c1fe5212c9b5e..1fb6ae421f7fc137af0f678cc2118e5cce4877f8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -326,6 +326,7 @@ ocaml-versions-nightly:
     - opam pin . -n
     - opam depext frama-c --with-test
     - opam install --jobs 2 frama-c --with-test
+    - frama-c -version
   tags:
     - docker