Started 5 yr 2 mo ago
Took 14 min on Windows10

Build #723 (25/02/2019, 5:26:36 PM)

No changes.

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

  • GitHub pull request #2007 of commit 4483b317e74a84d8431ecd3385c3c06562e6d166, no merge conflicts.

This run spent:

  • 55 ms waiting;
  • 14 min build duration;
  • 14 min total from scheduled to completion.
Revision: cf636d2ca30ad752fe9d6cb9bcbd5614986ac82e
Repository: https://github.com/opencor/opencor.git
  • refs/remotes/origin/pr/2007/merge