Started 8 mo 16 days ago
Took 35 min on amp-jenkins-worker-06

Success Build #822 (Mar 5, 2019 12:31:31 PM)

PR #487: update jetty and maven vers...
No changes.

GitHub pull request #487 of commit c86239ac0328460bfd99772e9324081520ba11bd automatically merged.

Configurations

Successdefault