From c6db14329bedbefaa4d31ccb70a7db5d6313b096 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 30 Sep 2020 09:51:48 +0200
Subject: [PATCH] no CI on forks
---
.gitlab-ci.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b32e10da..1a74a0b4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -18,8 +18,8 @@ variables:
paths:
- _opam/
only:
- - master
- - /^ci/
+ - /^master/@iris/lambda-rust
+ - /^ci/@iris/lambda-rust
except:
- triggers
- schedules
--
GitLab