Build #841 (30/09/2019, 5:45:57 PM)

1. Always build our documentation afresh. (details / githubweb)

Started by upstream project OpenCOR_Linux build number 841
originally caused by:

• GitHub pull request #2169 of commit becf72ade0c8ef0c979032e3938a8a42328783b8, no merge conflicts.

This run spent:

• 5 ms waiting;
• 8 min 45 sec build duration;
• 8 min 45 sec total from scheduled to completion.

• refs/remotes/origin/pr/2169/merge