Started 2 mo 25 days ago
Took 27 min on master

Build #1016 (Jun 23, 2021, 2:37:20 PM)

PR #583: Bump jetty-server from 9.4....
No changes.

GitHub pull request #583 of commit 2936849f6a94e6f715862ae06a9097e7b41ab710, no merge conflicts.

Configurations

Successdefault