Started 5 yr 9 mo ago
Took 11 min
on Mac10.12.3_OpenCOR
<a title="General: improve HiDPI support (#1763)" href="https://github.com/opencor/opencor/pull/1765">PR #1765</a>: General: improve HiDPI supp...
No changes. | |
GitHub pull request #1765 of commit 13a4317c165076ae50883a7f4972847cb649c638, no merge conflicts. | |
This run spent:
|