add workflow calls

leanprover-community · Jun 22, 2024 · 38eca3c · 38eca3c
1 parent 0d357fe
commit 38eca3c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/bors.yml b/.github/workflows/bors.yml
@@ -6,7 +6,7 @@
 # Forks of mathlib and other projects should be able to use build_fork.yml directly
 # The jobs in this file run on self-hosted workers and will not be run from external forks
 
-on:
+on: [workflow_call]  # allow this workflow to be called from other workflows
   push:
     branches:
       - staging

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -6,7 +6,7 @@
 # Forks of mathlib and other projects should be able to use build_fork.yml directly
 # The jobs in this file run on self-hosted workers and will not be run from external forks
 
-on:
+on: [workflow_call]  # allow this workflow to be called from other workflows
   push:
     branches-ignore:
       # ignore tmp branches used by bors

diff --git a/.github/workflows/build_fork.yml b/.github/workflows/build_fork.yml
@@ -6,7 +6,7 @@
 # Forks of mathlib and other projects should be able to use build_fork.yml directly
 # The jobs in this file run on GitHub-hosted workers and will only be run from external forks
 
-on:
+on: [workflow_call]  # allow this workflow to be called from other workflows
   push:
     branches-ignore:
       # ignore tmp branches used by bors