Started 4 yr 3 mo ago
Took 6 min 30 sec
on built-in
<a title="Various improvements" href="https://github.com/opencor/opencor/pull/2249">PR #2249</a>: Various improvements
No changes. | |
GitHub pull request #2249 of commit 029def067ce23b076590843d06c089b5dc32c504, no merge conflicts. | |
This run spent:
|