Skip to content

Set bash to be default shell for Github Actions CI#1037

Merged
weiji14 merged 1 commit intomasterfrom
gh-actions_default_bash_shell
Mar 12, 2021
Merged

Set bash to be default shell for Github Actions CI#1037
weiji14 merged 1 commit intomasterfrom
gh-actions_default_bash_shell

Commits

Commits on Mar 12, 2021