Commit 93748a54 authored by Ralf Jung's avatar Ralf Jung

do timing on Coq 8.8

parent f9bee86a
Pipeline #9636 passed with stage
in 13 minutes and 56 seconds
......@@ -30,15 +30,15 @@ build-coq.8.8.0:
<<: *template
variables:
OPAM_PINS: "coq version 8.8.0"
TIMING_PROJECT: "iris-examples"
TIMING_CONF: "coq-8.7.2"
tags:
- fp-timing
build-coq.8.7.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.7.2"
TIMING_PROJECT: "iris-examples"
TIMING_CONF: "coq-8.7.2"
tags:
- fp-timing
build-iris.dev:
<<: *template
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment