Started 4 yr 10 mo ago
Took 13 min on Windows10

Build #814 (13/05/2019, 12:34:20 PM)

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

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

  • GitHub pull request #2081 of commit 762546bec779495f9dc7694a4e8538213731e4a8, no merge conflicts.

This run spent:

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