todo-description, how to edit .gitlab-ci.yml

.gitlab-ci.yml

@@ -2,6 +2,7 @@
 stages:
   - build
 
+#TODO Use the following lines to compile code in a specific version. It should be possible to declare multiple versions.
 build_8_16_1:
   image: coqorg/coq:8.16.1
   stage: build