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>
frequenz-floss · Jun 30, 2023 · dd7101a · dd7101a
1 parent 239cda8
commit dd7101a
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