Started 3 yr 6 mo ago
Took 12 min on built-in

Build #1101 (7/09/2020, 4:10:13 PM)

<a title="Cleaning up" href="https://github.com/opencor/opencor/pull/2394">PR #2394</a>: Cleaning up
No changes.

GitHub pull request #2394 of commit c810b51b89df2bf0683829a54c45f2a558240e22, no merge conflicts.

This run spent:

  • 7.5 sec waiting;
  • 12 min build duration;
  • 12 min total from scheduled to completion.

Configurations

default