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

Build #1107 (16/09/2020, 5:02:54 PM)

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

GitHub pull request #2397 of commit 073ad388d8b91c7a0a3975af58a22980d9a2a406, no merge conflicts.

This run spent:

  • 9.8 sec waiting;
  • 10 min build duration;
  • 10 min total from scheduled to completion.

Configurations

default