Started 9 mo 16 days ago
Took 1 min 53 sec on amp-jenkins-worker-01

Success Build #5 (Feb 5, 2019 11:18:10 PM)

PR #42: WIP: Add support for Array-...
No changes.

GitHub pull request #42 of commit 7dcd677eaea28352e9c5c22b6236c5c1aa9963c2 automatically merged.

Revision: 51a9c238ca3acc614d27768c76f701dacd66023c
  • origin/pr/42/merge
Test Result (no failures)

    Module Builds

    Success Succinct1.6 sec
    Success Succinct Assembly0.57 sec
    Success Succinct Core30 sec
    Success Succinct Serialization/Deserialization1.2 sec
    Success Succinct on Apache Spark1 min 11 sec