ci: run on push or PR, not both

zerotier · Apr 11, 2024 · 782081c · 782081c
1 parent 7a4ea48
commit 782081c
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/action.yml b/.github/workflows/action.yml
@@ -2,8 +2,6 @@ name: CI
 
 on:
   push:
-    branches: ["main"]
-
   pull_request:
 
 permissions:
@@ -13,6 +11,7 @@ permissions:
 
 jobs:
   build_lint_etc:
+    if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
 
     runs-on: ubuntu-latest