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

Build #526 (19/11/2018, 7:25:00 PM)

<a title="Slight improvement to our what is new page" href="https://github.com/opencor/opencor/pull/1880">PR #1880</a>: Slight improvement to our w...
No changes.

GitHub pull request #1880 of commit 26a95053388f6f61c513bc192f83982f7c584441, no merge conflicts.

This run spent:

  • 8.2 sec waiting;
  • 4 min 15 sec build duration;
  • 4 min 23 sec total from scheduled to completion.

Configurations

default