shark
shark copied to clipboard
Explicitly add servlet-api to resolve run-time classpath issues.
Merged build triggered.
Merged build started.
Merged build finished.
Refer to this link for build results: https://amplab.cs.berkeley.edu/jenkins/job/Shark-Pull-Request-Builder/12199/