Bump peter-evans/create-pull-request from 5 to 6 (#2991)

Bumps [peter-evans/create-pull-request](https://github.com/peter-evans/create-pull-request) from 5 to 6.
model-checking · Feb 6, 2024 · 8a1b550 · 8a1b550
1 parent 55a7f3e
commit 8a1b550
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/cargo-update.yml b/.github/workflows/cargo-update.yml
@@ -37,7 +37,7 @@ jobs:
  git diff
  fi
  - name: Create Pull Request
- uses: peter-evans/create-pull-request@v5
+ uses: peter-evans/create-pull-request@v6
  with:
  commit-message: Upgrade cargo dependencies to ${{ env.today }}
  branch: cargo-update-${{ env.today }}

diff --git a/.github/workflows/cbmc-update.yml b/.github/workflows/cbmc-update.yml
@@ -63,7 +63,7 @@ jobs:
 
  - name: Create Pull Request
  if: ${{ env.next_step == 'create_pr' }}
- uses: peter-evans/create-pull-request@v5
+ uses: peter-evans/create-pull-request@v6
  with:
  commit-message: Upgrade CBMC from ${{ env.CBMC_VERSION }} to ${{ env.CBMC_LATEST }}
  branch: cbmc-${{ env.CBMC_LATEST }}

diff --git a/.github/workflows/toolchain-upgrade.yml b/.github/workflows/toolchain-upgrade.yml
@@ -68,7 +68,7 @@ jobs:
  fi
  - name: Create Pull Request
  if: ${{ env.next_step == 'create_pr' }}
- uses: peter-evans/create-pull-request@v5
+ uses: peter-evans/create-pull-request@v6
  with:
  commit-message: Upgrade Rust toolchain to nightly-${{ env.next_toolchain_date }}
  branch: toolchain-${{ env.next_toolchain_date }}