Started 5 yr 10 mo ago
Took 13 min on Windows10

Build #423 (13/07/2018, 9:51:22 PM)

No changes.

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

  • GitHub pull request #1739 of commit db2922176cb4745b7855b6ebe95aa61d96357de0, no merge conflicts.

This run spent:

  • 18 ms waiting;
  • 13 min build duration;
  • 13 min total from scheduled to completion.
Revision: b7ae9f2b569af793a624ab6227d3eaf6bba7a194
Repository: https://github.com/opencor/opencor.git
  • refs/remotes/origin/pr/1739/merge