Started 2 days 4 hr ago
Took 1 hr 19 min on research-jenkins-worker-07

Failed Build #1980 (May 17, 2019 8:04:26 AM)

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

GitHub pull request #602 of commit 303d72ad775a8be79f45db45e4ec606ab3ea515a automatically merged.

Revision: a5b7297e9f38e21ee2c9d2a3a5e810acb6b24e0e
  • origin/pr/602/merge