diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index adcf14e1c1847fb458bd5a80fc31b258ac47499d..f07ac4c0f38fa0cd07f633681ed9d183ad57772a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,7 +4,7 @@ stages:
 
 # Compile your project based on latest coq version.
 build_latest:
-  image: coqorg/coq:latest
+  image: coqorg/coq:8.16.1
   stage: build
   script:
     - make all