Build #2 (Oct 14, 2022, 1:00:09 PM)

1. Actually, Jetbrains Annotations are better (details / githubweb)

Branch indexing

This run spent:

• 7.8 sec waiting;
• 36 sec build duration;
• 44 sec total from scheduled to completion.

• CoreWithNoJavax-unstable