Started 14 hr ago
Took 55 min on amp-jenkins-worker-05

Success Build #3006 (May 23, 2019 2:52:18 PM)

PR #2156: Deprecate SAMFileHeaderWrit...
No changes.

GitHub pull request #2156 of commit 003aa6c185541163920b08b2084c10ecaf87bf79 automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12