Started 5 yr 10 mo ago
Took 12 min on Windows10

Build #417 (7/07/2018, 7:11:24 PM)

No changes.

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

  • GitHub pull request #1733 of commit 110231657e02d5b88b2d34db05e8c34d199abef2, no merge conflicts.

This run spent:

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