.0, not .1

.gitlab-ci.yml

@@ -3,8 +3,8 @@ stages:
   - build
 
 #Use the following lines to compile code in a specific version. You can copy this lines to compile your project based on multiple versions.
-build_8_18_1:
-  image: coqorg/coq:8.18.1
+build_8_18_0:
+  image: coqorg/coq:8.18.0
   stage: build
   script:
     - make all