Started 5 yr 5 mo ago
Took 13 min on Windows10

Build #578 (21/11/2018, 12:14:56 PM)

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

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

  • GitHub pull request #1885 of commit 7d606f16ef0d0d08c89f43aa601b024c1c30b93d, no merge conflicts.

This run spent:

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