Skip to content
Snippets Groups Projects
Commit 87135ffc authored by Ralf Jung's avatar Ralf Jung
Browse files

move OPAM_PKG to the 8.8+beta1 job as that one is spawned first

parent b2581988
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
.gitlab-ci.yml
+ 2
− 2
View file @ 87135ffc
...@@ -43,6 +43,8 @@ build-coq.8.8+beta1: ...@@ -43,6 +43,8 @@ build-coq.8.8+beta1:
variables: variables:
OPAM_PINS: "coq version 8.8+beta1" OPAM_PINS: "coq version 8.8+beta1"
VALIDATE: "1" VALIDATE: "1"
OPAM_PKG: "coq-iris"
OPAM_PKG_BRANCH: "gen_proofmode"
TIMING_PROJECT: "iris" TIMING_PROJECT: "iris"
TIMING_CONF: "coq-8.8+beta1" TIMING_CONF: "coq-8.8+beta1"
tags: tags:
...@@ -52,8 +54,6 @@ build-coq.8.7.2: ...@@ -52,8 +54,6 @@ build-coq.8.7.2:
<<: *template <<: *template
variables: variables:
OPAM_PINS: "coq version 8.7.2" OPAM_PINS: "coq version 8.7.2"
OPAM_PKG: "coq-iris"
OPAM_PKG_BRANCH: "gen_proofmode"
TIMING_PROJECT: "iris" TIMING_PROJECT: "iris"
TIMING_CONF: "coq-8.7.2" TIMING_CONF: "coq-8.7.2"
tags: tags:
......
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