Restore pull_request

leanprover-community · Jun 23, 2024 · 8872c4c · 8872c4c
1 parent 194824e
commit 8872c4c
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 0 deletions.
diff --git a/.github/workflows/bors.yml b/.github/workflows/bors.yml
@@ -7,6 +7,7 @@
 # The jobs in this file run on self-hosted workers and will not be run from external forks
 
 on:
+  pull_request:
   push:
     branches:
       - staging

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -7,6 +7,7 @@
 # The jobs in this file run on self-hosted workers and will not be run from external forks
 
 on:
+  pull_request:
   push:
     branches-ignore:
       # ignore tmp branches used by bors

diff --git a/.github/workflows/build_fork.yml b/.github/workflows/build_fork.yml
@@ -7,6 +7,7 @@
 # The jobs in this file run on GitHub-hosted workers and will only be run from external forks
 
 on:
+  pull_request:
   push:
     branches-ignore:
       # ignore tmp branches used by bors

diff --git a/.github/workflows/mk_build_yml.sh b/.github/workflows/mk_build_yml.sh
@@ -19,6 +19,7 @@ build_yml() {
 # The jobs in this file run on self-hosted workers and will not be run from external forks
 
 on:
+  pull_request:
   push:
     branches-ignore:
       # ignore tmp branches used by bors
@@ -41,6 +42,7 @@ bors_yml() {
 # The jobs in this file run on self-hosted workers and will not be run from external forks
 
 on:
+  pull_request:
   push:
     branches:
       - staging
@@ -56,6 +58,7 @@ build_fork_yml() {
 # The jobs in this file run on GitHub-hosted workers and will only be run from external forks
 
 on:
+  pull_request:
   push:
     branches-ignore:
       # ignore tmp branches used by bors