Started 4 yr 11 mo ago
Took 6 min 54 sec
on built-in
<a title="Cleaning up" href="https://github.com/opencor/opencor/pull/2106">PR #2106</a>: Cleaning up
No changes. | |
GitHub pull request #2106 of commit e14fe9346bbee876e8a2ab256a97e5536f7c38ed, no merge conflicts. | |
This run spent:
|