Build #1177 (4/11/2020, 6:11:10 PM)

1. Slight update to our downloads page (#2395). (details / githubweb)

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

• GitHub pull request #2413 of commit 722273626df5bfc65572806ee0c2e85f8ca58dc0, no merge conflicts.

This run spent:

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

• refs/remotes/origin/pr/2413/merge