[Jenkins]Jenkins
log in | sign up
Started 3 yr 7 mo ago
Took 13 min on built-in

Build #1100 (2/09/2020, 8:44:54 PM)

<a title="Issue2391" href="https://github.com/opencor/opencor/pull/2392">PR #2392</a>: Issue2391
No changes.

GitHub pull request #2392 of commit 56293437941e00dd5cb43c358c5476c0c3dfbcef, no merge conflicts.

This run spent:

  • 11 min waiting;
  • 13 min build duration;
  • 24 min total from scheduled to completion.

Configurations

default