Skip to content

ci: Bump time limit of tools builder on PRs#62722

Merged
bors merged 1 commit intorust-lang:masterfrom
alexcrichton:unlimit-tools
Jul 16, 2019

Commits

Commits on Jul 16, 2019