Started 9 mo 19 days ago
Took 32 sec on amp-jenkins-worker-03

Failed Build #6 (Feb 12, 2020 4:10:17 PM)

PR #44: [SECURITY] Use HTTPS to res...
No changes.

GitHub pull request #44 of commit 03f1abf12a7f1be5c1ab22d8c4a4217ab115c88d, no merge conflicts.

Module Builds

Failed Succinct0.88 sec
Not built Succinct Assembly8 ms
Not built Succinct Core7 ms
Not built Succinct Serialization/Deserialization12 ms
Not built Succinct on Apache Spark16 ms