Skip to content

ci: Favor SCRIPT instead of RUST_CHECK_TARGET#61353

Merged
bors merged 1 commit intorust-lang:masterfrom
alexcrichton:less-tools
May 30, 2019
Merged

ci: Favor SCRIPT instead of RUST_CHECK_TARGET#61353
bors merged 1 commit intorust-lang:masterfrom
alexcrichton:less-tools

Commits

Commits on May 30, 2019