Build #276 (May 18, 2024, 8:12:05 AM)

1. fix java source lang record handling (details / githubweb)
2. add comment on test (details / githubweb)

Started by user Christian Dietrich

This run spent:

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

• origin/main