ci: Also run on tag pushes

GaloisInc · Oct 4, 2022 · f021ac6 · f021ac6
1 parent 50855f5
commit f021ac6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -4,6 +4,8 @@ on:
   push:
     branches:
     - main
+    tags:
+    - '*'
   pull_request:
 
 env: