Commit 3a484b25 authored by Ralf Jung's avatar Ralf Jung
Browse files

CI: use timing runner

parent 7cd2dc29
Pipeline #7271 passed with stage
in 21 minutes and 54 seconds
......@@ -37,3 +37,9 @@ build-coq.8.7.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.7.2"
tags:
- fp-timing
artifacts:
paths:
- build-time.txt
- build-env.txt
Supports Markdown
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