uncomment

leanprover-community · Jun 22, 2024 · 03cfac9 · 03cfac9
1 parent ba43a97
commit 03cfac9
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/bors.yml b/.github/workflows/bors.yml
@@ -13,7 +13,7 @@ on:
 
 name: continuous integration (staging)
 name: default
-on: [workflow_call]  # allow this workflow to be called from other workflows
+on: [workflow_call]
 jobs:
   # Cancels previous runs of jobs in this file
   cancel:

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -20,7 +20,7 @@ on:
 
 name: continuous integration
 name: default
-on: [workflow_call]  # allow this workflow to be called from other workflows
+on: [workflow_call]
 jobs:
   # Cancels previous runs of jobs in this file
   cancel:

diff --git a/.github/workflows/build.yml.in b/.github/workflows/build.yml.in
@@ -1,5 +1,5 @@
 name: default
-on: [workflow_call]  # allow this workflow to be called from other workflows
+on: [workflow_call]
 jobs:
   # Cancels previous runs of jobs in this file
   cancel:

diff --git a/.github/workflows/build_fork.yml b/.github/workflows/build_fork.yml
@@ -17,7 +17,7 @@ on:
 
 name: continuous integration (mathlib forks)
 name: default
-on: [workflow_call]  # allow this workflow to be called from other workflows
+on: [workflow_call]
 jobs:
   # Cancels previous runs of jobs in this file
   cancel: