Build #150 (May 3, 2024, 8:01:18 AM)

1. Theia 1.49.1, Dev Containers, and Splash Screen (details / githubweb)

Branch indexing

This run spent:

• 10 min waiting;
• 1 hr 32 min build duration;
• 1 hr 32 min total from scheduled to completion.

• master