diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-03-08 12:46:33 +0100 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-03-08 12:46:33 +0100 |
| commit | ff674232d198b196c8fa9d2092b8165b4bcce6b2 (patch) | |
| tree | d219b8204867a276fb322ef9d1147e5740b3c33d /.github/workflows | |
| parent | 871be8f54ace198c42780b366d1817ffc77e9fa6 (diff) | |
| download | rust-ff674232d198b196c8fa9d2092b8165b4bcce6b2.tar.gz rust-ff674232d198b196c8fa9d2092b8165b4bcce6b2.zip | |
Fix checkout in post-merge workflow
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/post-merge.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/post-merge.yml b/.github/workflows/post-merge.yml index 919e1bb3320..2bc06d83c5b 100644 --- a/.github/workflows/post-merge.yml +++ b/.github/workflows/post-merge.yml @@ -16,6 +16,11 @@ jobs: pull-requests: write steps: - 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 env: GH_TOKEN: ${{ github.token }} |