Commit df425156 authored by Ralf Jung's avatar Ralf Jung

rename template; it is actually fairly generic

parent 58a2f3b6
......@@ -3,7 +3,7 @@ image: ralfjung/opam-ci:latest
variables:
CPU_CORES: "9"
.iris-template: &iris
.template: &template
tags:
- fp-timing
script:
......@@ -24,7 +24,7 @@ variables:
- /^ci/
iris-coq8.6.1:
<<: *iris
<<: *template
variables:
COQ_VERSION: "8.6.1"
SSR_VERSION: "1.6.1"
......@@ -35,7 +35,7 @@ iris-coq8.6.1:
- build-env.txt
iris-coq8.6:
<<: *iris
<<: *template
variables:
COQ_VERSION: "8.6"
SSR_VERSION: "1.6.1"
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