Started 5 yr 1 mo ago
Took 6 min 47 sec on built-in

Build #647 (14/02/2019, 4:20:52 PM)

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

GitHub pull request #1981 of commit 80b1da497c8b8e585bd17909d24bb7b14efebb1f, no merge conflicts.

This run spent:

  • 6 sec waiting;
  • 6 min 47 sec build duration;
  • 6 min 53 sec total from scheduled to completion.

Configurations

default