Only run workflows on push

jmmv · jmmv · commit 036b742b2065 · 2025-12-06T06:23:04.000-08:00
This should avoid duplicate workflow runs when a pull request is created
or modified.  We just care about branch changes.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -15,7 +15,7 @@
 
 name: Build release
 
-on: [push, pull_request]
+on: push
 
 jobs:
     linux-armv7-rpi:
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -15,7 +15,7 @@
 
 name: Test
 
-on: [push, pull_request]
+on: push
 
 jobs:
     lint:
