From 4069ed30aa68b3931779616c56878945e9c3e485 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <gaeher@mpi-sws.org>
Date: Mon, 28 Oct 2024 09:50:31 +0000
Subject: [PATCH] Update .gitlab-ci.yml
---
.gitlab-ci.yml | 3 ---
1 file changed, 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 84056932..5da718c5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -17,9 +17,6 @@ variables:
key: "$CI_JOB_NAME"
paths:
- _opam/
- only:
- - /^master/@iris/transfinite
- - /^ci/@iris/transfinite
except:
- triggers
- schedules
--
GitLab