user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Rollup merge of #62722 - alexcrichton:unlimit-tools, r=pietroalbini

Browse source 
ci: Bump time limit of tools builder on PRs

This should give it enough time to finish instead of being killed after
an hour.
This commit is contained in:
Mark Rousskov 2019-07-16 11:39:00 -04:00 • committed by GitHub
commit 51ca50ebd6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.azure-pipelines/pr.yml
View file

@ -21,6 +21,7 @@ jobs:
IMAGE: mingw-check
- job: LinuxTools
timeoutInMinutes: 600
pool:
vmImage: ubuntu-16.04
steps: