Skip to content

GitLab

I
Iris
Commit 8f1c4c86 authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

don't delay opam publishing until after the 8.7.dev build

parent f904bc5f
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 0 deletions
.gitlab-ci.yml
View file @ 8f1c4c86
......@@ -3,6 +3,7 @@ image: ralfjung/opam-ci:latest
stages:
- build
- deploy
- build_more
variables:
CPU_CORES: "9"
......@@ -51,6 +52,7 @@ reverse-deps:
build-coq.8.7.dev:
<<: *template
stage: build_more
variables:
OPAM_PINS: "coq version 8.7.dev coq-mathcomp-ssreflect version dev"
except:
......
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