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