8096695360

Committed 29 Feb 2024 01:17PM UTC coverage: 93.885% (+0.09%) from 93.799%

Build Type

push

github

Committed by

Commit Message

Merge remote-tracking branch 'origin/develop' into develop-redesign

Run Details

5558 of 5920 relevant lines covered (93.89%)

0.94 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

98.58

/server/server/mergin/sync/public_api_controller.py