#1005 (Mar 23, 2024, 4:48:11 PM)

1. tuned NEWS (detail / hgweb)

Started by an SCM change

This run spent:

• 9.6 sec waiting;
• 25 min build duration;
• 25 min total from scheduled to completion.

• Real_Impl
• CakeML
• Fishburn_Impossibility
• Card_Multisets
• Launchbury
• Automatic_Refinement
• List_Inversions
• Propositional_Logic_Class