Started 3 yr 7 mo ago
Took 35 min on Windows10

Build #1247 (25/09/2020, 4:58:23 PM)

No changes.

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

  • GitHub pull request #2406 of commit 0344ecb5e55d656fdb4293ccfd311e9b34645784, no merge conflicts.

This run spent:

  • 3 ms waiting;
  • 35 min build duration;
  • 35 min total from scheduled to completion.
Revision: bd0292ee8fde1602a89dd18143bd684134779463
Repository: https://github.com/opencor/opencor.git
  • refs/remotes/origin/pr/2406/merge