Started 5 yr 6 mo ago
Took 12 min on Windows10

Build #542 (25/10/2018, 3:53:10 PM)

No changes.

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

  • GitHub pull request #1854 of commit fe5577fc72b8dda4ac37f31598e9ff643d18ad0d, no merge conflicts.

This run spent:

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