From c6faa0ab3ff1596b6a04d963de13de1ca47d2fa3 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 5 Jun 2021 17:09:32 +0200
Subject: [PATCH] support ad-hoc timing
---
.gitlab-ci.yml | 25 +++++++++++++++++++++----
1 file changed, 21 insertions(+), 4 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1a44344a..396b8941 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -36,7 +36,21 @@ build-coq.8.13.1:
tags:
- fp-timing
-build-iris.dev:
+trigger-iris.timing:
+ <<: *template
+ variables:
+ OPAM_PINS: "coq version 8.13.1 git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
+ tags:
+ - fp-timing
+ only:
+ - triggers
+ - schedules
+ - api
+ except:
+ variables:
+ - $TIMING_AD_HOC_ID == null
+
+trigger-iris.dev:
<<: *template
variables:
STDPP_REPO: "iris/stdpp"
@@ -44,6 +58,9 @@ build-iris.dev:
OPAM_PINS: "coq version 8.13.dev git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
except:
only:
- - triggers
- - schedules
- - api
+ refs:
+ - triggers
+ - schedules
+ - api
+ variables:
+ - $TIMING_AD_HOC_ID == null
--
GitLab