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

Build #1195 (13/08/2020, 12:22:38 PM)

<a title="Zinc window: some minor improvements" href="https://github.com/opencor/opencor/pull/2376">PR #2376</a>: Zinc window: some minor imp...
No changes.

GitHub pull request #2376 of commit dbebe3e58cb8560b5167e6ac5520022f3ef2d2ba, no merge conflicts.

This run spent:

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

Configurations

default