<a title="Map utilities" href="https://github.com/ABI-Software/mapintegratedvuer/pull/220">PR #220</a>: Map utilities
Started 6 mo 2 days ago
Took 5 min 27 sec
on Ubuntu_18.04_bioeng49
GitHub pull request #220 of commit 5c2cf58d0a408972381e1b45e1a033e3108e40e9, no merge conflicts. | |
This run spent:
| |
Revision: f91226175e2f7e1c47d900e04c08ca1652af9863
Repository: https://github.com/ABI-Software/mapintegratedvuer.git
|
No changes. |