Skip to content

Some minor CI changes#48907

Merged
bors merged 2 commits intorust-lang:masterfrom
kennytm:minor-ci-stuff
Mar 11, 2018
Merged

Some minor CI changes#48907
bors merged 2 commits intorust-lang:masterfrom
kennytm:minor-ci-stuff

Commits