Build #97 (May 4, 2023, 3:44:18 AM)

1. #45 Remove ADA examples (details / githubweb)
2. [releng] Update Target platform (details / githubweb)
3. [releng] bump to 0.15.0 (details / githubweb)

Branch indexing

This run spent:

• 6 min 0 sec waiting;
• 7 min 40 sec build duration;
• 7 min 49 sec total from scheduled to completion.

• master