Started 5 yr 9 mo ago
Took 12 min on Windows10

Build #435 (9/08/2018, 6:54:27 AM)

No changes.

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

  • GitHub pull request #1755 of commit 579cc663e18f75339f94228b8a7a52a3cf4e6799, no merge conflicts.

This run spent:

  • 12 ms waiting;
  • 12 min build duration;
  • 12 min total from scheduled to completion.
Revision: c9413d4965b3a8a2c957c9eb6f8fcaf41b508a5a
Repository: https://github.com/opencor/opencor.git
  • refs/remotes/origin/pr/1755/merge