#1657 (Jun 7, 2018, 7:26:11 AM)

1. sync website (detail / hgweb)
2. new devel entry Partial_Order_Reduction (detail / hgweb)

Started by an SCM change

This run spent:

• 6.6 sec waiting;
• 5 min 2 sec build duration;
• 5 min 9 sec total from scheduled to completion.