Started 5 yr 8 mo ago
Took 13 min on Windows10

Build #472 (30/08/2018, 4:49:52 AM)

No changes.

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

  • GitHub pull request #1792 of commit 56c32cd603c642e6e92f6606719c0cfb3aefcef4, no merge conflicts.

This run spent:

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