[Jenkins]Jenkins
log in | sign up
Started 4 yr 11 mo ago
Took 6 min 17 sec on built-in

Build #756 (23/05/2019, 5:29:16 PM)

<a title="Documentation: slight reformatting of our different scripts" href="https://github.com/opencor/opencor/pull/2102">PR #2102</a>: Documentation: slight refor...
No changes.

GitHub pull request #2102 of commit 96cc2cf929c388d4d6314c0da257b8a0ee69fb6e, no merge conflicts.

This run spent:

  • 6.4 sec waiting;
  • 6 min 17 sec build duration;
  • 6 min 23 sec total from scheduled to completion.

Configurations

default