[Jenkins]Jenkins
log in | sign up
Started 5 yr 2 mo ago
Took 4 min 27 sec on built-in

Build #673 (27/02/2019, 4:14:28 PM)

<a title="A lot of (minor) cleaning up" href="https://github.com/opencor/opencor/pull/2010">PR #2010</a>: A lot of (minor) cleaning up
No changes.

GitHub pull request #2010 of commit c186ee7a4ba8e3e1ad8f33b828af9aafdc85e456, no merge conflicts.

This run spent:

  • 5 min 14 sec waiting;
  • 4 min 27 sec build duration;
  • 9 min 41 sec total from scheduled to completion.

Configurations

default