diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index de940fb80884ee9c469acb12bd8b4ccf9563cf3e..36cd6134da764a442a86715e0db3fc0e6f5d0274 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -9,11 +9,11 @@ vio:
   stage: quickbuild
   tags:
   - coq
-  script: |
-    cd coq/ra/
-    coqc -v
-    time make -j8 TIMED=y quick 2>&1 | tee build-log-vio.txt
-    fgrep Axiom build-log.txt && exit 1
+  script: >
+    cd coq/ra/;
+    coqc -v;
+    time make -j8 TIMED=y quick 2>&1 | tee build-log-vio.txt;
+    fgrep Axiom build-log.txt && exit 1;
     cat build-log.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-quick.txt
   only:
   - master
@@ -25,11 +25,11 @@ vio2vo:
   stage: quickcheck
   tags:
   - coq
-  script: |
-    cd coq/ra/
-    coqc -v
-    time make -j8 TIMED=y vio2vo J=8 2>&1 | tee build-log-vio2vo.txt
-    fgrep Axiom build-log.txt && exit 1
+  script: >
+    cd coq/ra/;
+    coqc -v;
+    time make -j8 TIMED=y vio2vo J=8 2>&1 | tee build-log-vio2vo.txt;
+    fgrep Axiom build-log.txt && exit 1;
     cat build-log.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-quick.txt
   only:
   - master
@@ -41,13 +41,13 @@ full:
   stage: fullbuild
   tags:
   - coq
-  script: |
-    cd coq/ra/
-    coqc -v
-    make clean'
-    time make -j8 TIMED=y 2>&1 | tee build-log-full.txt
-    fgrep Axiom build-log.txt && exit 1
-    cat build-log.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-quick.txt
+  script: >
+    cd coq/ra/;
+    coqc -v;
+    make clean;
+    time make -j8 TIMED=y 2>&1 | tee build-log-full.txt;
+    fgrep Axiom build-log.txt && exit 1;
+    cat build-log.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-quick.txt;
   only:
   - master
   artifacts: