Revert back to original push event specification

as excluding version tags let any git push skip the build. Not clear why.
kuniss · Dec 27, 2023 · 5befcc2 · 5befcc2
1 parent 6d2ebe2
commit 5befcc2
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,9 +1,5 @@
 name: Build on Push & PR
-on: 
-  push:
-    tags-ignore:
-      - v*
-  pull_request:
+on: [push, pull_request]
 
 jobs:
   build: