CI: fix running coqchk

c8760ad9 · Ralf Jung · cb32a5f3 · c8760ad9
Commit c8760ad9 authored Aug 19, 2016 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

.gitlab-ci.yml .gitlab-ci.yml +1 -1

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,7 +8,7 @@ buildjob:
  - 'time make -j8 TIMED=y 2>&1 | tee build-log.txt'
  - 'fgrep Axiom build-log.txt && exit 1'
  - 'cat build-log.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time.txt'
-  - make verify
+  - make validate
  only:
  - master
  artifacts: