ci: Set shell: bash
as a default, remove duplicates#74418
Merged
bors merged 3 commits intorust-lang:masterfrom Jul 18, 2020
Merged
ci: Set `shell: bash` as a default, remove duplicates#74418bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom