Started 5 yr 5 mo ago
Took 14 min on Windows10

Build #571 (19/11/2018, 7:44:57 PM)

No changes.

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

  • GitHub pull request #1881 of commit efcddb163e683b006491f51928df5970e57d19cc, no merge conflicts.

This run spent:

  • 4 ms waiting;
  • 14 min build duration;
  • 14 min total from scheduled to completion.
Revision: b749841dee64c061ba8a7138f9d494f2dc485292
Repository: https://github.com/opencor/opencor.git
  • refs/remotes/origin/pr/1881/merge