Started 3 yr 11 mo ago
Took 4 min 25 sec on amp-jenkins-worker-01

Success Build #1 (Nov 3, 2016 11:49:27 AM)

PR #32: whitespace change do not merge
No changes.

GitHub pull request #32 of commit e4f1d351ca3fa05733f81a2d1853c2055e2d246b automatically merged.

Test Result (no failures)

    Module Builds

    Success Succinct1.7 sec
    Success Succinct Assembly0.98 sec
    Success Succinct Core27 sec
    Success Succinct Serialization/Deserialization1.2 sec
    Success Succinct on Apache Spark3 min 39 sec