#1143 (Oct 7, 2017, 10:20:11 PM)

1. merged (detail / hgweb)
2. Merged in ammerbauer/afp-2017 (pull request #1)
   
   sitegen.py uses dependency file created by Isabelle
   
   Approved-by: Lars Hupel <lars.hupel@mytum.de> (detail / hgweb)
3. warn if dependencies file is not specified (detail / hgweb)
4. sitegen.py uses dependency file created by Isabelle (detail / hgweb)

Started by an SCM change

This run spent:

• 7.2 sec waiting;
• 3 min 7 sec build duration;
• 3 min 15 sec total from scheduled to completion.