#1451 (Mar 21, 2018, 12:35:16 AM)

1. new entry CakeML, compiled by Lars Hupel (detail / hgweb)

Started by an SCM change

This run spent:

• 9.8 sec waiting;
• 7 min 40 sec build duration;
• 7 min 50 sec total from scheduled to completion.