Started 5 yr 2 mo ago
Took 15 min on Windows10

Build #722 (25/02/2019, 4:52:16 PM)

No changes.

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

  • GitHub pull request #2006 of commit e0b62a74f494ccd48d2e574d7d3cf63aa5bee1d3, no merge conflicts.

This run spent:

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