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

Build #644 (13/02/2019, 8:45:41 AM)

<a title="Some minor cleaning up" href="https://github.com/opencor/opencor/pull/1978">PR #1978</a>: Some minor cleaning up
No changes.

GitHub pull request #1978 of commit 273d4dffa1f2ac8bad04772a18eddbbb435a5c5c, no merge conflicts.

This run spent:

  • 9.4 sec waiting;
  • 7 min 59 sec build duration;
  • 8 min 8 sec total from scheduled to completion.

Configurations

default