Started 5 yr 5 mo ago
Took 12 min on Windows10

Build #573 (20/11/2018, 5:53:50 PM)

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

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

  • GitHub pull request #1882 of commit 712da78d8014789513b47ae1e33035144c8491ea, no merge conflicts.

This run spent:

  • 2 ms waiting;
  • 12 min build duration;
  • 12 min total from scheduled to completion.
Revision: 75070a7399906df96634f3e80d5a113e83d2e09d
Repository: https://github.com/opencor/opencor.git
  • refs/remotes/origin/pr/1882/merge