Test locally

nomeata · Dec 12, 2023 · 84ef8d6 · 84ef8d6
1 parent 57f434f
commit 84ef8d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/pr-release.yml b/.github/workflows/pr-release.yml
@@ -16,7 +16,7 @@ on:
 jobs:
   on-success:
     runs-on: ubuntu-latest
-    if: github.event.workflow_run.conclusion == 'success' && github.event.workflow_run.event == 'pull_request' && github.repository == 'leanprover/lean4'
+    if: github.event.workflow_run.conclusion == 'success' && github.event.workflow_run.event == 'pull_request'
     steps:
       - name: Set PR number and head commit
         uses: actions/github-script@v7