Rollup of 5 pull requests (all of which changes `src/ci/docker`)#59298

Merged

bors merged 14 commits into

rust-lang:masterfrom

Mar 20, 2019

Commits on Mar 7, 2019

Commits on Mar 9, 2019

Track embedded-book in the toolstate
kennytm
committed

Commits on Mar 10, 2019

Commits on Mar 16, 2019

CI: Set job names.
ehuss
committed

Commits on Mar 17, 2019