From 57bfabcff26cdea598391684ecbeeafb0700e125 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pawe=C5=82=20Marks?= <pmarks@virtuslab.com>
Date: Tue, 14 Feb 2023 16:21:51 +0100
Subject: [PATCH] Do not run CI on pushes to github queues

---
 .github/workflows/ci.yaml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index b70cc3bb9e70..fd2fd85cdce3 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -14,6 +14,10 @@ on:
     ## - both (tags or tags-ignore) and (branches or branches-ignore),
     ## - or neither of them.
     ## But it's important to not have only one or the other.
+    tags:
+      - '*'
+    branches-ignore:
+      - 'gh-readonly-queue/*'
   pull_request:
   merge_group:
   schedule: