Started 4 yr 3 mo ago
Took 35 min on Windows10

Build #1078 (13/12/2019, 4:05:17 PM)

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

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

  • GitHub pull request #2258 of commit ae303c4342362f46493a20ddbd4e7504622c57e2, no merge conflicts.

This run spent:

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