Fix checkout in post-merge workflow

This commit is contained in:
Jakub Beránek 2025-03-08 12:46:33 +01:00
parent 871be8f54a
commit ff674232d1

View file

@ -16,6 +16,11 @@ jobs:
pull-requests: write pull-requests: write
steps: steps:
- uses: actions/checkout@v4 - uses: actions/checkout@v4
with:
# Make sure that we have enough commits to find the parent merge commit.
# Since all merges should be through merge commits, fetching two commits
# should be enough to get the parent bors merge commit.
fetch-depth: 2
- name: Perform analysis and send PR - name: Perform analysis and send PR
env: env:
GH_TOKEN: ${{ github.token }} GH_TOKEN: ${{ github.token }}