diff options
author | Kazuhiro NISHIYAMA <zn@mbf.nifty.com> | 2020-01-11 16:24:16 +0900 |
---|---|---|
committer | NARUSE, Yui <naruse@airemix.jp> | 2020-01-30 13:35:17 +0900 |
commit | 504b082f364e35516b2727c11713c28b684b5af0 (patch) | |
tree | 27f28edec2a4c23567aee0e10e94a79b48d0e65e /.github/workflows/windows.yml | |
parent | 5dc82455aef4a42817208e11fbfbcdc1351f0734 (diff) |
Add branch option to checkout on push
Diffstat (limited to '.github/workflows/windows.yml')
-rw-r--r-- | .github/workflows/windows.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml index 3a4de23245..82cca9353b 100644 --- a/.github/workflows/windows.yml +++ b/.github/workflows/windows.yml @@ -40,9 +40,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: 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 |