Started 5 yr 5 mo ago
Took 13 min on Windows10

Build #565 (18/11/2018, 6:56:24 PM)

No changes.

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

  • GitHub pull request #1876 of commit 9e6067e550d18a49158e4d99a58115dc12554421, no merge conflicts.

This run spent:

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