Build Windows10 (4/07/2018, 11:25:40 PM)

Started by upstream project OpenCOR_Windows build number 410
originally caused by:

• GitHub pull request #1722 of commit d1633bb2073aac8fcaefcea553489c76aac23c12, no merge conflicts.

This run spent:

• 12 ms waiting;
• 14 min build duration;
• 14 min total from scheduled to completion.

• refs/remotes/origin/pr/1722/merge