From 3ad208b73483726912b6694b5b72d5396ceb6967 Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Fri, 27 Sep 2024 14:08:25 +1000 Subject: [PATCH] chore: fix test_mathlib.yml (#959) --- .github/workflows/test_mathlib.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/test_mathlib.yml b/.github/workflows/test_mathlib.yml index 97bbd9a792..7c6690f21d 100644 --- a/.github/workflows/test_mathlib.yml +++ b/.github/workflows/test_mathlib.yml @@ -27,7 +27,7 @@ jobs: # Checkout the mathlib4 repository with all branches - name: Checkout mathlib4 repository - if: steps.workflow-info.outputs.pullRequestNumber != '' && steps.ready.outputs.mathlib_ready == 'true' + if: steps.workflow-info.outputs.pullRequestNumber != '' uses: actions/checkout@v4 with: repository: leanprover-community/mathlib4 @@ -43,7 +43,7 @@ jobs: echo "$HOME/.elan/bin" >> "${GITHUB_PATH}" - name: Check if tag exists - if: steps.workflow-info.outputs.pullRequestNumber != '' && steps.ready.outputs.mathlib_ready == 'true' + if: steps.workflow-info.outputs.pullRequestNumber != '' id: check_mathlib_tag run: | git config user.name "leanprover-community-mathlib4-bot" @@ -70,6 +70,6 @@ jobs: fi - name: Push changes - if: steps.workflow-info.outputs.pullRequestNumber != '' && steps.ready.outputs.mathlib_ready == 'true' + if: steps.workflow-info.outputs.pullRequestNumber != '' run: | git push origin batteries-pr-testing-${{ steps.workflow-info.outputs.pullRequestNumber }}