Started 1 yr 10 mo ago
Took 10 sec on amp-jenkins-worker-01

Success Build #173 (Oct 11, 2017 1:17:48 PM)

PR #154: [FORMATS-43] Rename contig ...
No changes.

GitHub pull request #154 of commit 7431a462d01aa804dbec5d7c87691c5fbadbe621 automatically merged.