diff options
author | 卜部昌平 <shyouhei@ruby-lang.org> | 2020-05-11 18:37:08 +0900 |
---|---|---|
committer | 卜部昌平 <shyouhei@ruby-lang.org> | 2020-05-12 17:15:22 +0900 |
commit | b16acf8baa4899dc4e39246dcb89b351e4adfa13 (patch) | |
tree | 74ae38cc4d7c2d73941d79c6a3c5a5d1f0a494bb /.github/workflows/mingw.yml | |
parent | ee518cf077b856fddea7dfae5d85f3c3117dd616 (diff) |
.github: use actions/checkout@v2 again
Notes
Notes:
Merged: https://github.com/ruby/ruby/pull/3100
Diffstat (limited to '.github/workflows/mingw.yml')
-rw-r--r-- | .github/workflows/mingw.yml | 17 |
1 files changed, 4 insertions, 13 deletions
diff --git a/.github/workflows/mingw.yml b/.github/workflows/mingw.yml index a3cbf8a458..b522386271 100644 --- a/.github/workflows/mingw.yml +++ b/.github/workflows/mingw.yml @@ -27,19 +27,10 @@ jobs: run: | git config --system core.autocrlf false git config --system core.eol lf - # Not using official actions/checkout@v2 because it's unstable. - - name: Checkout ruby - run: | - git clone --single-branch --shallow-since=yesterday --branch=${GITHUB_REF#refs/heads/} https://github.com/${{ github.repository }} src - git -C src reset --hard "$GITHUB_SHA" - if: github.event_name == 'push' - shell: bash - - name: Checkout a pull request - run: | - git clone --single-branch --depth=50 --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' - shell: bash + - uses: actions/checkout@v2 + with: + fetch-depth: 128 + path: src - run: ./src/tool/actions-commit-info.sh shell: bash id: commit_info |