Skip to content

Status

Changes

Console Output

View Build Information

Parameters

Timings

Open Blue Ocean

Previous Build

Next Build

Started 5 yr 0 mo ago

Took 7 min 30 sec on built-in

Build #715 (9/04/2019, 4:21:57 PM)

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

No changes.

GitHub pull request #2059 of commit 989c8fdfac895c520f1846585f54b78a11b37939, no merge conflicts.

This run spent:

9.6 sec waiting;
7 min 30 sec build duration;
7 min 40 sec total from scheduled to completion.

Configurations