Build #1231 (6/12/2020, 5:32:13 PM)

1. Added a CI script (#2423). (details / githubweb)

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

• GitHub pull request #2426 of commit 7e847486446684f9adb83fdebb35a1aec433ec48, no merge conflicts.

This run spent:

• 2 ms waiting;
• 6 min 59 sec build duration;
• 6 min 59 sec total from scheduled to completion.

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