Started 5 yr 2 mo ago
Took 13 min on Windows10

Build #728 (27/02/2019, 4:51:35 PM)

No changes.

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

  • GitHub pull request #2010 of commit 15c19df2814ef19b7c54f5b32c1f65add7ee5e46, no merge conflicts.

This run spent:

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