Started 3 days 2 hr ago
Took 30 min on research-jenkins-worker-09

Aborted Build #4334 (Jul 12, 2019 9:59:17 AM)

Changes
  1. minor doc fixes (#525) (commit: cdb9b13a728109e624cb561da57d56a4a6b73f10) (detail / githubweb)

Started by GitHub push by akmorrow13

Revision: cdb9b13a728109e624cb561da57d56a4a6b73f10
  • refs/remotes/origin/master

Configurations

Aborteddefault