Skip to content
[Jenkins]Jenkins
log insign up
Success

#855 (10/06/2025, 10:41:23 am)

<a title="Explorer filter" href="https://github.com/ABI-Software/mapintegratedvuer/pull/315">PR #315</a>: Explorer filter
Started 2 mo 28 days ago
Took 6 min 6 sec on Ubuntu_18.04_bioeng49

GitHub pull request #315 of commit 88b8676e800f4e828a32e75575049eda867ea852, no merge conflicts.

This run spent:

  • 5.5 sec waiting;
  • 6 min 6 sec build duration;
  • 6 min 11 sec total from scheduled to completion.
No changes.