Started 5 yr 0 mo ago
Took 15 min on Windows10

Build #734 (1/03/2019, 9:32:20 AM)

No changes.

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

  • GitHub pull request #2015 of commit 43fcc06ab03aaaac4950b71713438839a7320f52, no merge conflicts.

This run spent:

  • 9 ms waiting;
  • 15 min build duration;
  • 15 min total from scheduled to completion.
Revision: 3ba0d5cf6862f2c9cddb23471a34230100228339
Repository: https://github.com/opencor/opencor.git
  • refs/remotes/origin/pr/2015/merge