Started 3 yr 7 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 aba99356ba81855fc08afc735e40012b574e17ca, no merge conflicts. | |
This run spent:
|