#1498 (Jul 9, 2021, 12:50:10 AM)

1. remove SpecCheck; it is now part of the AFP (detail / hgweb)
2. merged (detail / hgweb)
3. added documentation for changes to Sledgehammer option "lam_trans" (detail / hgweb)
4. jenkins: pre/post-hook results (detail / hgweb)
5. merged (detail / hgweb)
6. added opaque_combs and renamed hide_lams to opaque_lifting (detail / hgweb)

Started by an SCM change

This run spent:

• 9.7 sec waiting;
• 54 sec build duration;
• 1 min 4 sec total from scheduled to completion.