Build #4 (May 23, 2024, 9:41:55 PM)

1. Update jenkinsfile for Java 17 (details / githubweb)

Push event to branch 1.19 at 9:41:40 PM on May 23, 2024

This run spent:

• 6.9 sec waiting;
• 2 min 20 sec build duration;
• 2 min 27 sec total from scheduled to completion.

• 1.19