From dd7101a8f2dcecb7a24b44b2e4162bdae27b9cd2 Mon Sep 17 00:00:00 2001
From: Leandro Lucarella <luca-frequenz@llucax.com>
Date: Fri, 30 Jun 2023 17:07:03 +0200
Subject: [PATCH] Run CI for tags too

When ignoring (merge queue) branches, we accidentally ignored also
pushed for tags, but we need those for creating releases.

Signed-off-by: Leandro Lucarella <luca-frequenz@llucax.com>
---
 .github/workflows/ci.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 842a6e0c..71b849af 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -4,6 +4,8 @@ on:
   merge_group:
   pull_request:
   push:
+    tags:
+      - '*'
     branches-ignore:
       # Ignore pushes to merge queues.
       # We only want to test the merge commit (`merge_group` event), the hashes