Build #18 (May 13, 2024, 4:57:18 AM)

1. Update jenkins config (details / githubweb)

Push event to branch R3_7_maintenance at 4:57:05 AM on May 13, 2024

This run spent:

• 15 sec waiting;
• 12 min build duration;
• 12 min total from scheduled to completion.

• R3_7_maintenance