Started 5 yr 4 mo ago
Took 44 sec on Windows10

Build Windows10 (21/12/2018, 4:40:04 PM)

No changes.

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

  • GitHub pull request #1930 of commit 03cea5b128d04ae74e715ba5e5be4cc6dee51b4d, no merge conflicts.

This run spent:

  • 8 ms waiting;
  • 44 sec build duration;
  • 44 sec total from scheduled to completion.
Revision: 84a2f8bef0415ca7a9eea8ac0131c1020294089f
Repository: https://github.com/opencor/opencor.git
  • refs/remotes/origin/pr/1930/merge