change github actions to run only on PRs and merge to main (#5)

facebookresearch · Sep 25, 2024 · 4fb5c43 · 4fb5c43
1 parent e75a946
commit 4fb5c43
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git a/.github/workflows/headers.yml b/.github/workflows/headers.yml
@@ -1,7 +1,12 @@
 name: headers
 run-name: License headers check by ${{ github.actor }}
 
-on: [push, pull_request]
+on:
+  # Trigger the workflow on push to main or any pull request
+  push:
+    branches:
+      - main
+  pull_request:
 
 jobs:
   header-checks:

diff --git a/.github/workflows/style.yml b/.github/workflows/style.yml
@@ -1,7 +1,12 @@
 name: style
 run-name: Style test by ${{ github.actor }}
 
-on: [push, pull_request]
+on:
+  # Trigger the workflow on push to main or any pull request
+  push:
+    branches:
+      - main
+  pull_request:
 
 jobs:
   style-tests: