1
71%
main: 71%

Ran 20 Mar 2026 01:45PM UTC

Files 466

Run time 14s

Badge

Committed 20 Mar 2026 01:42PM UTC coverage: 70.412% (-0.2%) from 70.621%

Build Type

push

github

Committed by

Commit Message

#1732: keep local changes when running ide update (git pull) (#1742)

Co-authored-by: Jörg Hohwiller <hohwille@users.noreply.github.com>

Coverage Stats

4151 of 6500 branches covered (63.86%)

Branch coverage included in aggregate %.

10768 of 14688 relevant lines covered (73.31%)

3.09 hits per line