[Jenkins]Jenkins
log in | sign up
Started 5 yr 9 mo ago
Took 12 min on built-in

Build #379 (1/07/2018, 4:15:57 AM)

<a title="Cleaning up" href="https://github.com/opencor/opencor/pull/1715">PR #1715</a>: Cleaning up
No changes.

GitHub pull request #1715 of commit d912e48055d19f5984169e37af4c966264a037e6, no merge conflicts.

This run spent:

  • 8.7 sec waiting;
  • 12 min build duration;
  • 12 min total from scheduled to completion.

Configurations

default