#4487 (Jun 2, 2023, 2:02:12 PM)

Started by user Administrative User

This run spent:

• 13 sec waiting;
• 12 min build duration;
• 12 min total from scheduled to completion.

• Simple_Clause_Learning