#756 (Oct 5, 2018, 12:50:07 AM)

1. merged (detail / hgweb)
2. updates to Algebra from Baillon and de Vilhena (detail / hgweb)
3. use correct hostname (detail / hgweb)
4. Jenkins: detect machine; adjust job parameters accordingly (detail / hgweb)
5. Jenkins: tuned profiles (detail / hgweb)
6. merged (detail / hgweb)
7. simplified proofs (detail / hgweb)
8. Jenkins: delete obsolete profile (detail / hgweb)

Started by an SCM change

This run spent:

• 5.2 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.