2023-03,openjdk-jdk17-latest,migration (May 15, 2024, 11:20:06 AM)

1. [368] Fix model explorer labels for JDT elements (details / githubweb)

Started by upstream project sirius-master build number 3291
originally caused by:

• Started by user Laurent Fasani

This run spent:

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

• origin/master