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

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

Started by upstream project OpenCOR_macOS build number 1232
originally caused by:

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

This run spent:

• 16 ms waiting;
• 7 min 7 sec build duration;
• 7 min 7 sec total from scheduled to completion.

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