Started 5 yr 5 mo ago
Took 12 min on Windows10

Build #527 (12/10/2018, 12:14:51 PM)

Changes
  1. Some minor cleaning up. (details / githubweb)

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

  • GitHub pull request #1840 of commit 937b9d3ffef813ff6eaeee9cae22fd75cc37bab1, no merge conflicts.

This run spent:

  • 2 ms waiting;
  • 12 min build duration;
  • 12 min total from scheduled to completion.
Revision: b18aacdb6de075c231ce6e628391d99be07ec31f
Repository: https://github.com/opencor/opencor.git
  • refs/remotes/origin/pr/1840/merge