Started 4 yr 9 mo ago
Took 16 min on Windows10

Build #845 (18/06/2019, 2:06:49 PM)

No changes.

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

  • GitHub pull request #2117 of commit fde4ab2e8c6ed1f6c7f07b380b1f39c12c867979, no merge conflicts.

This run spent:

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