<a title="Add new setHighlightedByZincObject API." href="https://github.com/ABI-Software/MPB/pull/19">PR #19</a>: Add new setHighlightedByZin...
Started 4 yr 8 mo ago
Took 2 min 21 sec
on Ubuntu_16.04_bioeng49
GitHub pull request #19 of commit 9758357c9f6b1a071ddd334ab09ebde7086ba438, no merge conflicts. | |
This run spent:
| |
Test Result (no failures) |
No changes. |