Started 2 mo 7 days ago
Took 16 min on Windows10

Success Build #845 (Jun 18, 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
  • refs/remotes/origin/pr/2117/merge