summaryrefslogtreecommitdiff
path: root/.github/workflows/mingw.yml
diff options
context:
space:
mode:
author卜部昌平 <shyouhei@ruby-lang.org>2020-05-11 18:37:08 +0900
committer卜部昌平 <shyouhei@ruby-lang.org>2020-05-12 17:15:22 +0900
commitb16acf8baa4899dc4e39246dcb89b351e4adfa13 (patch)
tree74ae38cc4d7c2d73941d79c6a3c5a5d1f0a494bb /.github/workflows/mingw.yml
parentee518cf077b856fddea7dfae5d85f3c3117dd616 (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.yml17
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