Build #1419 (1/07/2021, 1:53:06 PM)

1. Make Windows happy (#2493). (details / githubweb)

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

• GitHub pull request #2502 of commit 7ebd1409c1885ebfc0598301b143390f18d0f94e, no merge conflicts.

This run spent:

• 15 ms waiting;
• 40 min build duration;
• 40 min total from scheduled to completion.

• refs/remotes/origin/pr/2502/merge