#1211 (Jun 11, 2020, 12:50:11 AM)

1. simplified 'smt_proofs' option to be a binary option (instead of ternary), now that SMT proofs are accepted in the AFP (done with Martin Desharnais) (detail / hgweb)

Started by an SCM change

This run spent:

• 9.8 sec waiting;
• 1 hr 22 min build duration;
• 1 hr 22 min total from scheduled to completion.