Started 4 yr 11 mo ago
Took 16 min on Windows10

Build #813 (13/05/2019, 12:03:05 PM)

Changes
  1. Some minor cleaning up. (details / githubweb)

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

  • GitHub pull request #2081 of commit dee478082eb1c55da6894eaad96ce60d66f5cb5f, no merge conflicts.

This run spent:

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