From b08c842236116a4cb8c08c6057d52bf2f12ef1cb Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 19 Oct 2017 16:06:09 +0200
Subject: [PATCH] CI: sync
---
.gitlab-ci.yml | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e457d9702..5f2f4acc9 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -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
--
GitLab