Started 3 yr 6 mo ago
Took 12 min
on built-in
<a title="Issue2396" href="https://github.com/opencor/opencor/pull/2397">PR #2397</a>: Issue2396
No changes. | |
GitHub pull request #2397 of commit edad2108bf6f38b4af88da237f2e749475c187ce, no merge conflicts. | |
This run spent:
|