diff options
| author | Kazuhiro NISHIYAMA <zn@mbf.nifty.com> | 2020-01-11 16:24:16 +0900 |
|---|---|---|
| committer | Kazuhiro NISHIYAMA <zn@mbf.nifty.com> | 2020-01-11 16:24:16 +0900 |
| commit | e62aead26909e83f2c8b940186047f0a88b9f2d6 (patch) | |
| tree | b06db3324cd1a0114835716a42533af73bed3805 /.github/workflows/cygwin.yml | |
| parent | 7584853cfed9eaeaf6e932578362db0ffa74bcac (diff) | |
Add branch option to checkout on push
Diffstat (limited to '.github/workflows/cygwin.yml')
| -rw-r--r-- | .github/workflows/cygwin.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/cygwin.yml b/.github/workflows/cygwin.yml index 0918ddbb22..b8360d4523 100644 --- a/.github/workflows/cygwin.yml +++ b/.github/workflows/cygwin.yml @@ -44,10 +44,10 @@ jobs: # Not using official actions/checkout because it's unstable and sometimes doesn't work for a fork. - name: Checkout ruby run: | - git clone --single-branch --shallow-since=yesterday https://github.com/${{ github.repository }} src + 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: cmd + shell: bash - name: Checkout a pull request 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 |