#1970 (Jun 15, 2023, 12:50:07 AM)

1. disable 'falsify' and 'abduce' in Sledgehammer by default, since they don't seem to be very useful in practice (detail / hgweb)

Started by an SCM change

This run spent:

• 6.7 sec waiting;
• 2 hr 3 min build duration;
• 2 hr 3 min total from scheduled to completion.