Started 5 yr 9 mo ago
Took 13 min on Windows10

Build #438 (10/08/2018, 4:30:56 AM)

No changes.

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

  • GitHub pull request #1757 of commit 48266ca2b5823e44b1017221a819342bf3653c99, no merge conflicts.

This run spent:

  • 5 ms waiting;
  • 13 min build duration;
  • 13 min total from scheduled to completion.
Revision: 9ebb3689c43814a7a0c6e56badca4ca1cd57094e
Repository: https://github.com/opencor/opencor.git
  • refs/remotes/origin/pr/1757/merge