diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e1ba275a3cd6cd536e44f7823ffd3e1f456fbad5..4b055e3d372ad0e736b3d2cc30695e9559b34488 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -217,7 +217,7 @@ proof-state:
   extends:
    - .not_in_wip_branches  
   stage: build
-  image: bbbrandenburg/alectryon-ci:latest
+  image: bbbrandenburg/alectryon-ci:1.14.0-coq-8.15.0
   script:
     - eval $(opam env "--switch=${COMPILER_EDGE}" --set-switch)
     - ./create_makefile.sh --without-classic