Started 4 yr 3 mo ago
Took 2 min 17 sec
on hpc6
<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 91602edf429d910827a03918b6171e9e8a371d4d, no merge conflicts. | |
This run spent:
| |
Aborted by user Alan Garny |