From 5d5f47b58d76aaeea859ded858c104047b930495 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 18 Sep 2017 14:57:59 +0200
Subject: [PATCH] trigger opam-update repo after successful CI build
---
.gitlab-ci.yml | 10 ++++++++++
1 file changed, 10 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4978015f..13f1efac 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,9 +1,14 @@
image: ralfjung/opam-ci:latest
+stages:
+ - build
+ - opam
+
variables:
CPU_CORES: "9"
.template: &template
+ stage: build
tags:
- fp-timing
script:
@@ -23,6 +28,11 @@ variables:
- master
- /^ci/
+opam:
+ stage: opam
+ script:
+ # Send a trigger to the repository doing the work
+ - curl --fail -X POST -F "token=$OPAM_UPDATE_SECRET" -F "ref=master" -F "variables[REPO]=${CI_PROJECT_URL}.git" -F "variables[REF]=$CI_COMMIT_REF_NAME" -F "variables[SHA]=$CI_COMMIT_SHA" -F "variables[NAME]=coq-stdpp" https://gitlab.mpi-sws.org/api/v3/projects/581/trigger/builds
stdpp-coq8.7:
<<: *template
--
GitLab