Make CI git submodule call shallow + filename fixes

.gitlab-ci.yml

@@ -17,7 +17,7 @@ iris:
   - coq
   script: >
     (git --version || (apt-get update && apt-get install -y git));
-    git submodule update --init --recursive;
+    git submodule update --init --recursive --depth 1;
     cd coq/iris;
     cat _CoqProject | grep -v '^test' > _CoqProject_filtered;
     mv _CoqProject_filtered _CoqProject;
@@ -35,7 +35,7 @@ vio:
     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
+    cat build-log-vio.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-vio.txt
   only:
   - master
   artifacts:
@@ -51,7 +51,7 @@ vio2vo:
     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
+    cat build-log-vio2vo.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-vio2vo.txt
   only:
   - master
   artifacts:
@@ -68,7 +68,7 @@ full:
     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;
+    cat build-log-full.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-full.txt;
   only:
   - master
   artifacts: