Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Rodolphe Lepigre
Iris
Commits
b08c8422
Commit
b08c8422
authored
Oct 19, 2017
by
Ralf Jung
Browse files
CI: sync
parent
568f01fc
Changes
1
Hide whitespace changes
Inline
Side-by-side
.gitlab-ci.yml
View file @
b08c8422
...
...
@@ -37,6 +37,8 @@ opam:
OPAM_PKG
:
"
coq-iris"
only
:
-
master
except
:
-
triggers
reverse-deps
:
stage
:
deploy
...
...
@@ -45,11 +47,15 @@ reverse-deps:
-
curl --fail -X POST -F "token=$IRIS_ATOMIC_SECRET" -F "ref=master" -F "variables[REV]=$CI_COMMIT_SHA" https://gitlab.mpi-sws.org/api/v4/projects/250/trigger/pipeline
only
:
-
master
except
:
-
triggers
build-coq.8.7
:
<<
:
*template
variables
:
OPAM_PINS
:
"
coq
version
8.7.dev
coq-mathcomp-ssreflect
version
dev"
except
:
-
triggers
build-coq.8.6.1
:
<<
:
*template
...
...
@@ -60,3 +66,5 @@ build-coq.8.6.1:
paths
:
-
build-time.txt
-
build-env.txt
except
:
-
triggers
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment