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

Build #671 (26/02/2019, 9:38:24 AM)

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

GitHub pull request #2008 of commit ea3014f56ddad17def52b6c10a1cc013c44f0516, no merge conflicts.

This run spent:

  • 5.2 sec waiting;
  • 4 min 32 sec build duration;
  • 4 min 38 sec total from scheduled to completion.

Configurations

default