Started 5 yr 9 mo ago
Took 14 min on Windows10

Build #431 (5/08/2018, 2:06:58 AM)

No changes.

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

  • GitHub pull request #1748 of commit b8bbf9d715d4278360a6a8c2ae161fe655dbf53e, no merge conflicts.

This run spent:

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