diff options
author | Yusuke Endoh <mame@ruby-lang.org> | 2020-04-22 02:41:54 +0900 |
---|---|---|
committer | Yusuke Endoh <mame@ruby-lang.org> | 2020-04-22 02:43:07 +0900 |
commit | ad63ae6619d26488725e05d74f2bfc3ab185b0c3 (patch) | |
tree | 1b33e7ae4b3e134e5be42d3fd9df5d40e66bd59c /.github | |
parent | 92afac8f3346f050ff25ad15a640a6861f690427 (diff) |
.github/workflows/mingw.yml: add `shell: bash` for PR checkout
as well as e62aead26909e83f2c8b940186047f0a88b9f2d6
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/mingw.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/mingw.yml b/.github/workflows/mingw.yml index 8ee58fa491..a3cbf8a458 100644 --- a/.github/workflows/mingw.yml +++ b/.github/workflows/mingw.yml @@ -39,6 +39,7 @@ jobs: 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 - run: ./src/tool/actions-commit-info.sh shell: bash id: commit_info |