ci: use bash when executing the "bors build finished" jobs#71675
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 30, 2020
Merged
ci: use bash when executing the "bors build finished" jobs#71675bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
