From c5f65c3d2da99454694e9e7d744e12471dfe8350 Mon Sep 17 00:00:00 2001 From: Joachim Breitner Date: Wed, 20 Dec 2023 09:46:54 +0100 Subject: [PATCH] test locally --- .github/workflows/pr-release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/pr-release.yml b/.github/workflows/pr-release.yml index 45f23992b0ac..d6f40ba39214 100644 --- 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' # && github.repository == 'leanprover/lean4' steps: - name: Retrieve information about the original workflow uses: potiuk/get-workflow-origin@v1_1 # https://github.com/marketplace/actions/get-workflow-origin