Started 5 yr 1 mo ago
Took 4 min 37 sec on built-in

Build #657 (19/02/2019, 2:13:01 PM)

<a title="Some minor cleaning up" href="https://github.com/opencor/opencor/pull/1990">PR #1990</a>: Some minor cleaning up
No changes.

GitHub pull request #1990 of commit 997f913603b6a7523714d66061f945200f393f06, no merge conflicts.

This run spent:

  • 7.1 sec waiting;
  • 4 min 37 sec build duration;
  • 4 min 44 sec total from scheduled to completion.

Configurations

default