diff options
| author |  Jan Tattermusch <jtattermusch@users.noreply.github.com> | 2017-10-06 10:06:18 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2017-10-06 10:06:18 +0200 |
| commit | d059e1c43ced2279ea4594df04f62761d7b95a86 (patch) | |
| tree | 540c06de59fea5738ecf62ee0354be4906653b4e /requirements.txt | |
| parent | e01cffc58fd530aa1b9d7ddb1b6d0d0e4624c579 (diff) | |
| parent | 8dbc2364b3b68bbf7e43eac3dea8e4d79e649d1d (diff) | |
Merge pull request #12841 from jtattermusch/report_elapsed_on_timeout
jobset.py: report elapsed time for jobs that time out
Diffstat (limited to 'requirements.txt')
0 files changed, 0 insertions, 0 deletions