From 2ddffe6d4fe9abb879d2296a8a50fad340a4abb5 Mon Sep 17 00:00:00 2001
From: Rainer Killinger <killinger@hrz.uni-frankfurt.de>
Date: Wed, 28 Sep 2022 11:53:14 +0200
Subject: [PATCH] ci: allow redundant pipelines to be skipped

---
 .gitlab-ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a28d8db8..648a1e1a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -6,6 +6,7 @@ before_script:
 default:
   tags:
     - performance
+  interruptible: true
 
 stages:
   - setup
@@ -32,6 +33,7 @@ setup:
   before_script: [] # do not run irrelevant before script for this job
   tags:
     - dind
+  interruptible: false
 
 build:
   stage: build