[Jenkins]Jenkins
log in | sign up
Started 5 yr 1 mo ago
Took 5 min 8 sec on built-in

Build #674 (27/02/2019, 4:31:29 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 15c19df2814ef19b7c54f5b32c1f65add7ee5e46, no merge conflicts.

This run spent:

  • 6.2 sec waiting;
  • 5 min 8 sec build duration;
  • 5 min 14 sec total from scheduled to completion.

Configurations

default