Make create-pr step condition not always false (model-checking#2378)

tautschnig · Apr 16, 2023 · 6ba67d0 · 6ba67d0
1 parent 49a256a
commit 6ba67d0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/toolchain-upgrade.yml b/.github/workflows/toolchain-upgrade.yml
@@ -43,8 +43,8 @@ jobs:
             echo "branch_exists=true" >> $GITHUB_ENV
           fi
       - name: Create Pull Request
-        if: ${{ ! env.branch_exists }}
-        uses: peter-evans/create-pull-request@v4
+        if: ${{ env.branch_exists == 'false' }}
+        uses: peter-evans/create-pull-request@v5
         with:
           commit-message: Upgrade Rust toolchain to nightly-${{ env.next_toolchain_date }}
           branch: toolchain-${{ env.next_toolchain_date }}