Build #5 (Dec 9, 2022, 12:58:10 PM)

1. Use Ubuntu that contains GDB 10 (details / githubweb)

Branch indexing

This run spent:

• 6.9 sec waiting;
• 1 hr 41 min build duration;
• 1 hr 41 min total from scheduled to completion.

• cdt_11_0