Try workaround to change CI directory for all cmds

.gitlab-ci.yml

@@ -9,12 +9,12 @@ 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'
-  - 'cat build-log.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-quick.txt'
+  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
   artifacts:
@@ -25,12 +25,12 @@ 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'
-  - 'cat build-log.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-quick.txt'
+  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
   artifacts:
@@ -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: