also time against Coq 8.8 beta

b2581988 · Ralf Jung · 22631563 · b2581988
Commit b2581988 authored Apr 06, 2018 by Ralf Jung
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -38,6 +38,16 @@ build-coq.8.8.dev:
    OPAM_PINS: "coq version 8.8.dev"
    VALIDATE: "1"

+build-coq.8.8+beta1:
+  <<: *template
+  variables:
+    OPAM_PINS: "coq version 8.8+beta1"
+    VALIDATE: "1"
+    TIMING_PROJECT: "iris"
+    TIMING_CONF: "coq-8.8+beta1"
+  tags:
+  - fp-timing
+
 build-coq.8.7.2:
  <<: *template
  variables: