Skip to content

Status

Changes

Console Output

View Build Information

Parameters

Timings

Open Blue Ocean

Previous Build

Next Build

Started 5 yr 7 mo ago

Took 3 min 38 sec on built-in

Build #495 (12/10/2018, 2:57:02 PM)

<a title="Cleaning up" href="https://github.com/opencor/opencor/pull/1840">PR #1840</a>: Cleaning up

No changes.

GitHub pull request #1840 of commit 0c221164034094512f1a9b2936aee40b87ea24c8, no merge conflicts.

This run spent:

5.8 sec waiting;
3 min 38 sec build duration;
3 min 44 sec total from scheduled to completion.

Configurations