Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix CI workflow to use bash as shell instead of sh
From https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#jobsjob_idcontainer: > Note: The default shell for run steps inside a container is sh instead of bash. This can be overridden with jobs.<job_id>.defaults.run or jobs.<job_id>.steps[*].shell.
- Loading branch information