Started 4 yr 11 mo ago
Took 17 min on Windows10

Build #831 (23/05/2019, 5:29:16 PM)

No changes.

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

  • GitHub pull request #2102 of commit 96cc2cf929c388d4d6314c0da257b8a0ee69fb6e, no merge conflicts.

This run spent:

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