Build #71 (May 31, 2024, 8:13:39 PM)

1. Use the Tycho 4.0.8 release (#174) (details / githubweb)

Push event to branch master at 8:13:24 PM on May 31, 2024

This run spent:

• 19 sec waiting;
• 2 hr 27 min build duration;
• 2 hr 27 min total from scheduled to completion.

• master