Run CI for tags too (#122)

When ignoring (merge queue) branches, we accidentally ignored also pushed for tags, but we need those for creating releases.
frequenz-floss · Jun 30, 2023 · 19487b8 · 19487b8
2 parents 239cda8 + dd7101a
commit 19487b8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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