Build #10 (Feb 13, 2024, 11:28:16 AM)

1. Remove dead code from jenkins configuration (details / githubweb)
2. Remove clang related code in Dockerfile (details / githubweb)

Push event to branch master at 11:28:03 AM on Feb 13, 2024

This run spent:

• 6.6 sec waiting;
• 3 min 4 sec build duration;
• 3 min 11 sec total from scheduled to completion.

• master

Superseded by #11