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-toolchainOct 24, 2019
+9-2

Commits

Commits on Oct 24, 2019