[Jenkins]Jenkins
log in | sign up
Started 4 yr 12 mo ago
Took 7 min 51 sec on built-in

Build #728 (23/04/2019, 4:12:32 PM)

<a title="Various improvements" href="https://github.com/opencor/opencor/pull/2074">PR #2074</a>: Various improvements
No changes.

GitHub pull request #2074 of commit e0f9baf5ab3be566dbb83c73e3caa4cbbecf4655, no merge conflicts.

This run spent:

  • 7.9 sec waiting;
  • 7 min 51 sec build duration;
  • 7 min 59 sec total from scheduled to completion.

Configurations

default