Started 5 yr 4 mo ago
Took 13 min on Windows10

Build #585 (22/11/2018, 2:17:56 PM)

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

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

  • GitHub pull request #1889 of commit 4de4e2c18be471805aaff7111011f752a33a4f56, no merge conflicts.

This run spent:

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