Build #3169 (Jun 17, 2024, 9:51:26 AM)

1. Delete TR::SelectOpt, which is unused (commit: 803891a) (details / githubweb)

Generic Cause

This run spent:

• 5.9 sec waiting;
• 5 min 48 sec build duration;
• 5 min 54 sec total from scheduled to completion.

• refs/remotes/origin/master