#1611 (May 24, 2018, 4:23:11 PM)

1. merged (detail / hgweb)
2. CakeML: simplify session layout (detail / hgweb)
3. CakeML: update Lem from upstream (detail / hgweb)
4. minor spelling (detail / hgweb)
5. integer implementation of Gram-Schmidt orthogonalization by Haslbeck, Bottesch and myself (detail / hgweb)

Started by an SCM change

This run spent:

• 6 sec waiting;
• 11 min build duration;
• 11 min total from scheduled to completion.