Build #7 (Oct 31, 2022, 10:28:49 AM)

1. JDK 1.8 build fix (details / githubweb)

Pull request #5180 updated at 10:28:38 AM on Oct 31, 2022

This run spent:

• 5 sec waiting;
• 53 min build duration;
• 53 min total from scheduled to completion.

• PR-5180