Skip to content

Add service id to server check command#419

Merged
MarcelGeo merged 1 commit intodev-r19from
add-service-id-to-server-check
Apr 9, 2025
Merged

Add service id to server check command#419
MarcelGeo merged 1 commit intodev-r19from
add-service-id-to-server-check

Conversation

@MarcelGeo
Copy link
Collaborator

@MarcelGeo MarcelGeo commented Apr 8, 2025

  • admins can use it by setting connections for boxy

Screenshot from 2025-04-08 17-20-59

@MarcelGeo MarcelGeo requested a review from varmar05 April 8, 2025 15:28
@coveralls
Copy link

Pull Request Test Coverage Report for Build 14337514750

Details

  • 0 of 6 (0.0%) changed or added relevant lines in 1 file are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage decreased (-0.07%) to 92.226%

Changes Missing Coverage Covered Lines Changed/Added Lines %
server/mergin/commands.py 0 6 0.0%
Totals Coverage Status
Change from base Build 14238018722: -0.07%
Covered Lines: 6893
Relevant Lines: 7474

💛 - Coveralls

@MarcelGeo MarcelGeo merged commit 4131094 into dev-r19 Apr 9, 2025
4 checks passed
@MarcelGeo MarcelGeo deleted the add-service-id-to-server-check branch April 9, 2025 08:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants