diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 43612bb8aed89cb9cf3533d9c62b4a2b30936bbe..d30b4d3bc8c9695099b3e5dbe0585334c333ae01 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,9 +1,9 @@
-image: coqorg/coq:latest
 
 stages:
   - build
 
-build_job:
+build_8_16_1:
+  image: coqorg/coq:8.16.1
   stage: build
   script:
     - make all