Started 5 yr 0 mo ago
Took 2 min 37 sec on built-in

Build #697 (14/03/2019, 4:25:16 PM)

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

GitHub pull request #2037 of commit 05da054a8fd4f656e22e0eb8a30e6bedd81d575c, no merge conflicts.

This run spent:

  • 6.9 sec waiting;
  • 2 min 37 sec build duration;
  • 2 min 44 sec total from scheduled to completion.

Configurations

default