Skip to content
[Jenkins]Jenkins
log insign up
Success

#834 (5/06/2025, 3:46:20 pm)

<a title="Feature: global settings" href="https://github.com/ABI-Software/mapintegratedvuer/pull/302">PR #302</a>: Feature: global settings
Started 2 mo 28 days ago
Took 2 min 18 sec on Ubuntu_18.04_bioeng49

GitHub pull request #302 of commit 7465bd534208eb0910e15309a4ab50144004ce2f, no merge conflicts.

This run spent:

  • 8.8 sec waiting;
  • 2 min 18 sec build duration;
  • 2 min 27 sec total from scheduled to completion.
Revision: d47012c61e959b9c726ffc2f15ba1aa9e2b6e096
Repository: https://github.com/ABI-Software/mapintegratedvuer.git
  • refs/remotes/origin/pr/302/merge
Changes
  1. Updates based on upstream changes (commit: a27d147) (details / githubweb)
  2. Minor updates (commit: cb884ab) (details / githubweb)
  3. Replace state with highlight (commit: 0a26096) (details / githubweb)
  4. Improve search range (commit: d3467da) (details / githubweb)
  5. Refactor small part of the codes. (commit: 1d9fe8c) (details / githubweb)
  6. Add missing package (commit: 92afc36) (details / githubweb)