Started 5 yr 1 mo ago
Took 14 min on Windows10

Build #745 (5/03/2019, 4:52:32 PM)

No changes.

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

  • GitHub pull request #2024 of commit f92a2e0c88cf5864155648a5fba94516c067945e, no merge conflicts.

This run spent:

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