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

Build #932 (27/11/2019, 2:19:18 PM)

<a title="Python support: merge duplicated code (#2225)" href="https://github.com/opencor/opencor/pull/2237">PR #2237</a>: Python support: merge dupli...
No changes.

GitHub pull request #2237 of commit 373d1d4c15c36c184138efcb556825e3bdbc01a9, no merge conflicts.

This run spent:

  • 5.5 sec waiting;
  • 14 min build duration;
  • 14 min total from scheduled to completion.

Configurations

default