Build #194 (Apr 13, 2024, 3:10:16 PM)

1. Update Jenkinsfile (#523) (details / githubweb)

Branch indexing

This run spent:

• 24 min waiting;
• 40 min build duration;
• 40 min total from scheduled to completion.

• master