Remove unneeded CI job on push and pull request

ZeroIntensity · ZeroIntensity · commit aabdede00827 · 2024-06-22T15:53:38.000-04:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -4,9 +4,6 @@ on:
     push:
         tags:
             - v*
-    pull_request:
-        branches:
-            - master
 
 concurrency:
     group: build-${{ github.head_ref }}
