From 3a12bbe55fd1f5b818d79b559eb2437070fcb9ff Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 15 Mar 2017 09:03:13 +0100
Subject: [PATCH] update Iris
---
.gitlab-ci.yml | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7b1a6642..be941940 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -20,9 +20,7 @@ lrust-coq8.6:
- opamroot/
only:
- master
- - ci
- - /^ralf/ci//
- - jh/undiscriminated_hintdb
+ - /^ci/
artifacts:
paths:
- build-time.txt
--
GitLab