Skip to content

Make the job runner a bit more resilient to slow jobs or other errors#1804

Merged
bors merged 3 commits intorust-lang:masterfrom
sgrif:sg-more-resilient-job-runner
Aug 21, 2019
Merged

Make the job runner a bit more resilient to slow jobs or other errors#1804
bors merged 3 commits intorust-lang:masterfrom
sgrif:sg-more-resilient-job-runner

Commits

Commits on Aug 14, 2019