Started 4 yr 11 mo ago
Took 14 min on Windows10

Build #812 (13/05/2019, 8:43:18 AM)

Changes
  1. Missed a commit... (#2080). (details / githubweb)

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

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

This run spent:

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