Started 1 mo 17 days ago
Took 44 sec on research-jenkins-worker-08

Success Build #1894 (Oct 1, 2019 9:05:15 AM)

Changes
  1. Rename AlignmentRecord to Alignment. (commit: eaf9d9eca4082199af9b226e9c0d3a86a5faaeb2) (detail / githubweb)

Started by GitHub push by heuermh

Revision: eaf9d9eca4082199af9b226e9c0d3a86a5faaeb2
  • refs/remotes/origin/master