ci: trigger for pull request pushes too

Unfortunately the 'push' event doesn't trigger when a PR originates from a fork. So trigger on the 'pull_request' event too.
serge-sans-paille · Sep 5, 2023 · 3cafd8b · 3cafd8b
1 parent cb357a8
commit 3cafd8b
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 3 deletions.
diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
@@ -1,6 +1,8 @@
 name: CI
 
-on: [push]
+on:
+  push:
+  pull_request:
 
 jobs:
   build_frozen:

diff --git a/.github/workflows/osx.yml b/.github/workflows/osx.yml
@@ -1,6 +1,8 @@
 name: CI
 
-on: [push]
+on:
+  push:
+  pull_request:
 
 jobs:
   build_frozen:

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
@@ -1,6 +1,8 @@
 name: CI
 
-on: [push]
+on:
+  push:
+  pull_request:
 
 jobs:
   build_frozen: