Build #1319 (6/12/2020, 8:07:12 PM)

1. Some minor cleaning up. (details / githubweb)
2. Added a CI script (#2423). (details / githubweb)

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

• GitHub pull request #2426 of commit 3dc9075c04eb15c8cd4e17ebd664a26129b86cc1, no merge conflicts.

This run spent:

• 2 ms waiting;
• 21 min build duration;
• 21 min total from scheduled to completion.

• refs/remotes/origin/pr/2426/merge