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

Build #930 (26/11/2019, 2:52:32 PM)

<a title="Developer documentation: update our prerequisites page (#2224)" href="https://github.com/opencor/opencor/pull/2235">PR #2235</a>: Developer documentation: up...
No changes.

GitHub pull request #2235 of commit 4ae5bb1079291044b99e70b35e87c118c54ccb0b, no merge conflicts.

This run spent:

  • 58 sec waiting;
  • 6 min 20 sec build duration;
  • 7 min 19 sec total from scheduled to completion.

Configurations

default