Started 6 days 22 hr ago
Took 6 hr 0 min on research-jenkins-worker-09

Aborted Build #29070 (Jul 28, 2020 10:42:10 AM)

PR #9719: Fix leased worker leak bug ...
No changes.

GitHub pull request #9719 of commit 407e9430a00042856f01f5e6f1e8d36f0bb955c2 automatically merged.

Revision: e49c6d335d3a3f9b3bfd776c726420ea8b000281
  • origin/pr/9719/merge