Build #23 (Sep 13, 2023, 4:32:41 AM)

1. backport: Update to Jetty 10.0.16 (#1331) (#1342) (details / githubweb)

Push event to branch R4_23_maintenance at 4:32:29 AM on Sep 13, 2023

This run spent:

• 16 sec waiting;
• 4 min 16 sec build duration;
• 4 min 22 sec total from scheduled to completion.

• R4_23_maintenance