out-out of axiom check

43a7637e · Ralf Jung · 50700e58 · 43a7637e · 99c935d2 · 40b71102
Commit 43a7637e authored May 09, 2018 by Ralf Jung
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -32,6 +32,7 @@ build-coq.8.8.0:
    OPAM_PINS: "coq version 8.8.0"
    TIMING_PROJECT: "fairis"
    TIMING_CONF: "coq-8.8.0"
+    AXIOMS_IGNORE: "1"
  tags:
  - fp-timing

--- a/ci @ 99c935d2
+++ b/ci @ 99c935d2
-Subproject commit 40b71102efe051c777a785035aebcbaa4c2ec19f
+Subproject commit 99c935d2007358fe4028560e96f9c136e608e696