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
Merged

ci: Bump time limit of tools builder on PRs#62722
bors merged 1 commit intorust-lang:masterfrom
alexcrichton:unlimit-tools

Commits

Commits on Jul 16, 2019