Started 10 days ago
Took 1 hr 3 min on research-jenkins-worker-08

Failed Build #1946 (May 12, 2019 1:30:42 AM)

PR #602: Implement delete_versioned_...
No changes.

GitHub pull request #602 of commit 1a65ee9bbf2f0275d3ceb17236242ad208e562f3 automatically merged.

Revision: d5521e5c03eb212459b8287c18f498233aa69a18
  • origin/pr/602/merge