remove pull request

leanprover-community · Jun 23, 2024 · 9712d8c · 9712d8c
1 parent c8aed8b
commit 9712d8c
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 6 deletions.
diff --git a/.github/workflows/bors.yml b/.github/workflows/bors.yml
@@ -7,7 +7,6 @@
 # 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,7 +7,6 @@
 # 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,7 +7,6 @@
 # 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,7 +19,6 @@ 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
@@ -42,7 +41,6 @@ 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
@@ -58,7 +56,6 @@ 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