Started 5 mo 21 days ago
Took 12 min on master

Build #1009 (Feb 4, 2021 4:10:07 PM)

PR #577: Bump jetty.version from 9.4...
No changes.

GitHub pull request #577 of commit 9f8f7c9e8ed13671c424dea128f8455819edb0d3, no merge conflicts.

Configurations

Faileddefault