diff options
author | Takashi Kokubun <takashikkbn@gmail.com> | 2019-12-31 01:49:08 -0800 |
---|---|---|
committer | NARUSE, Yui <naruse@airemix.jp> | 2020-01-30 13:34:25 +0900 |
commit | 77dfa520d476143b8be6c4805354838012b4d335 (patch) | |
tree | fe8736c6ad4a35bce6ff48278fd3282d1427bf36 /.github/workflows | |
parent | 124878c6aad7c708d7121199bea29962713d319a (diff) |
Official actions/checkout is useless
It died again https://github.com/ruby/ruby/runs/368837347
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/mingw.yml | 19 |
1 files changed, 15 insertions, 4 deletions
diff --git a/.github/workflows/mingw.yml b/.github/workflows/mingw.yml index 89ece0d013..56f8c6bc46 100644 --- a/.github/workflows/mingw.yml +++ b/.github/workflows/mingw.yml @@ -36,10 +36,21 @@ jobs: run: | git config --system core.autocrlf false git config --system core.eol lf - - name: Checkout repo - uses: actions/checkout@v2 - with: - path: src + # Not using official actions/checkout because it's unstable and sometimes doesn't work for a fork. + - name: Checkout ruby/ruby + run: | + 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' + - 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 }} + if: github.event_name == 'pull_request' - run: ./src/tool/actions-commit-info.sh shell: bash id: commit_info |