Build #252 (Nov 30, 2023, 1:25:19 AM)

1. Bump actions/setup-java from 3 to 4 (details / githubweb)

Branch indexing

This run spent:

• 19 sec waiting;
• 6 min 49 sec build duration;
• 6 min 58 sec total from scheduled to completion.

• master