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

work on CI

parent c8b4bdc5
No related branches found
No related tags found
No related merge requests found
Pipeline #
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 4 deletions
.gitlab-ci.yml
+ 3
− 4
View file @ 73267fe8
...@@ -21,13 +21,13 @@ variables: ...@@ -21,13 +21,13 @@ variables:
only: only:
- master - master
- /^ci/ - /^ci/
except:
- triggers
build-coq.8.7.1: build-coq.8.7.1:
<<: *template <<: *template
variables: variables:
OPAM_PINS: "coq version 8.7.1 coq-mathcomp-ssreflect version 1.6.4" OPAM_PINS: "coq version 8.7.1 coq-mathcomp-ssreflect version 1.6.4"
except:
- triggers
build-coq.8.6.1: build-coq.8.6.1:
<<: *template <<: *template
...@@ -37,12 +37,11 @@ build-coq.8.6.1: ...@@ -37,12 +37,11 @@ build-coq.8.6.1:
paths: paths:
- build-time.txt - build-time.txt
- build-env.txt - build-env.txt
except:
- triggers
build-iris.dev: build-iris.dev:
<<: *template <<: *template
variables: variables:
OPAM_PINS: "coq version dev coq-mathcomp-ssreflect version dev coq-iris.dev git https://gitlab.mpi-sws.org/FP/iris-coq.git#$IRIS_REV" OPAM_PINS: "coq version dev coq-mathcomp-ssreflect version dev coq-iris.dev git https://gitlab.mpi-sws.org/FP/iris-coq.git#$IRIS_REV"
except:
only: only:
- triggers - triggers
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment