Started 5 yr 9 mo ago
Took 12 min on Windows10

Build #434 (7/08/2018, 8:41:36 PM)

No changes.

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

  • GitHub pull request #1753 of commit dc92446a232a8e2466efb06f3d5e9e2cc9639d0f, no merge conflicts.

This run spent:

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