Build #3 (Sep 9, 2022, 5:48:03 AM)

1. Target java 19 patch to 4.25RC2 (details / githubweb)

Push event to branch R4_25_maintenance at 5:47:50 AM on Sep 9, 2022

This run spent:

• 7 sec waiting;
• 3 min 50 sec build duration;
• 3 min 57 sec total from scheduled to completion.

• R4_25_maintenance