Skip to content

build: do not reinstall master toolchain if it is up-to-date#4713

Merged
bors merged 1 commit intorust-lang:masterfrom
tesuji:no-reinstall-toolchain
Oct 24, 2019
Merged

build: do not reinstall master toolchain if it is up-to-date#4713
bors merged 1 commit intorust-lang:masterfrom
tesuji:no-reinstall-toolchain

Commits

Commits on Oct 24, 2019