Build #224 (Jun 15, 2023, 12:30:07 PM)

1. [R-Console] Add check of Java version to launch config UI (details)
2. [R-Help] Fix detection of sections in R help pages from GR 4.3 (details)
3. Update target definitions to Eclipse 2023-06-r (details)

Started by user Stephan Wahlbrink

This run spent:

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

• origin/main