#12 (19/08/2019, 10:56:26 am)

<a title="Make develop branch current with all the latest changes." href="https://github.com/ABI-Software/MPB/pull/5">PR #5</a>: Make develop branch current...

Started 5 yr 3 mo ago

Took 1 min 9 sec on Ubuntu_16.04_bioeng49

GitHub pull request #5 of commit 601760e8e7ed7cf02c31e4c4d7c833b5c2e392bc, no merge conflicts.

This run spent:

8.5 sec waiting;
1 min 9 sec build duration;
1 min 17 sec total from scheduled to completion.

No changes.

#12 (19/08/2019, 10:56:26 am)

#12 (19/08/2019, 10:56:26 am)