ci: Set shell: bash as a default, remove duplicates#74418
Merged
bors merged 3 commits intorust-lang:masterfrom rye:gha-dedup-shell-settingJul 18, 2020
+5-132
shell: bash as a default, remove duplicates#74418