Started 5 yr 6 mo ago
Took 15 min on Windows10

Build #537 (16/10/2018, 1:51:53 PM)

No changes.

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

  • GitHub pull request #1842 of commit ddd8dfc6f0aa37ee2265e58773c4e456db68cf8a, no merge conflicts.

This run spent:

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