Started 5 yr 4 mo ago
Took 15 min on Windows10

Build #657 (10/01/2019, 11:27:26 AM)

No changes.

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

  • GitHub pull request #1942 of commit ecf8a5bc4ba6b4dcb6ce798f5f60595fa2494147, no merge conflicts.

This run spent:

  • 1 ms waiting;
  • 15 min build duration;
  • 15 min total from scheduled to completion.
Revision: 966038de5575306a8f0164d689ceff3157b303be
Repository: https://github.com/opencor/opencor.git
  • refs/remotes/origin/pr/1942/merge