ci: Set `shell: bash` as a default, remove duplicates - #74418

Merged

bors merged 3 commits into

rust-lang:masterfrom

rye:gha-dedup-shell-setting

Jul 18, 2020

Commits on Jul 16, 2020

ci: Set `shell: bash` as a default, remove duplicates
rye
committed
ab23a2a

Commits on Jul 17, 2020

ci: Stop setting CI_OVERRIDE_SHELL environment variable
rye
committed
49f5078
ci: Replace exec-with-shell wrapper with "plain bash"
rye
committed
586629c