Fix more filenames in CI config

.gitlab-ci.yml

@@ -34,7 +34,6 @@ vio:
     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-vio.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-vio.txt
   only:
   - master
@@ -50,7 +49,6 @@ vio2vo:
     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-vio2vo.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-vio2vo.txt
   only:
   - master
@@ -67,7 +65,7 @@ full:
     coqc -v;
     make clean;
     time make -j8 TIMED=y 2>&1 | tee build-log-full.txt;
-    fgrep Axiom build-log.txt && exit 1;
+    fgrep Axiom build-log-full.txt && exit 1;
     cat build-log-full.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-full.txt;
   only:
   - master