<a title="Add an option to choose between citation.js and doi.org for citation …" href="https://github.com/ABI-Software/mapintegratedvuer/pull/271">PR #271</a>: Add an option to choose bet...
Started 9 mo 17 days ago
            Took 5 min 29 sec
    on Ubuntu_18.04_bioeng49
GitHub pull request #271 of commit 98dd796b4b5919d8a59538b9881d7b17c6ffdc11, no merge conflicts.  | |
This run spent: 
  | 
| No changes. | 
