diff options
Diffstat (limited to '.github/workflows/mingw.yml')
-rw-r--r-- | .github/workflows/mingw.yml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/.github/workflows/mingw.yml b/.github/workflows/mingw.yml index 9615c0007d..af48f85fb9 100644 --- a/.github/workflows/mingw.yml +++ b/.github/workflows/mingw.yml @@ -42,11 +42,10 @@ jobs: git clone --single-branch --shallow-since=yesterday https://github.com/ruby/ruby src git -C src reset --hard "$GITHUB_SHA" if: github.event_name == 'push' - # It's hard to propagate `env` to this workflow's shell environment to checkout PR. Using unstable actions/checkout as a workaround. - name: Checkout a pull request - uses: actions/checkout@v2 - with: - path: src + run: | + git clone --single-branch --shallow-since=yesterday --branch=${{ github.event.pull_request.head.ref }} https://github.com/${{ github.event.pull_request.head.repo.full_name }} src + git -C src reset --hard ${{ github.event.pull_request.head.sha }} if: github.event_name == 'pull_request' - run: ./src/tool/actions-commit-info.sh shell: bash |