diff options
| author | Takashi Kokubun <takashikkbn@gmail.com> | 2019-12-31 09:34:29 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-31 09:34:29 -0800 |
| commit | 139f0d90d98441ac54c6385acaf6d39eb61de63e (patch) | |
| tree | cd98dea4be8877aa60fc20f3605e85c8d3a698df /.github/workflows | |
| parent | 049292e3021524bad531a82f5d9a51a22fb88640 (diff) | |
Use actions/checkout for PR (#2804)
Notes
Notes:
Merged-By: k0kubun <takashikkbn@gmail.com>
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/mingw.yml | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/.github/workflows/mingw.yml b/.github/workflows/mingw.yml index 56f8c6bc46..f36af4bb29 100644 --- a/.github/workflows/mingw.yml +++ b/.github/workflows/mingw.yml @@ -42,14 +42,11 @@ 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 - run: | - git clone --single-branch --shallow-since=yesterday "--branch=$GITHUB_BRANCH" "https://github.com/${GITHUB_REPO}" src - git -C src reset --hard "$GITHUB_REV" - env: - GITHUB_REV: ${{ github.event.pull_request.head.sha }} - GITHUB_BRANCH: ${{ github.event.pull_request.head.ref }} - GITHUB_REPO: ${{ github.event.pull_request.head.repo.full_name }} + uses: actions/checkout@v2 + with: + path: src if: github.event_name == 'pull_request' - run: ./src/tool/actions-commit-info.sh shell: bash |