Build #178 (May 1, 2024, 5:25:31 AM)

1. Jenkinsfile: improve logging and error detection of javadoc build (details / githubweb)

Branch indexing

Started by an SCM change

This run spent:

• 20 min waiting;
• 15 min build duration;
• 36 min total from scheduled to completion.

• main