diff options
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 |