1
77%
master: 77%

Ran 12 Jun 2025 06:17AM UTC

Files 172

Run time 445min

Badge

Committed 12 Jun 2025 06:12AM UTC coverage: 77.062% (+0.01%) from 77.048%

Build Type

push

github

Committed by

Commit Message

fix stepper issues (#1761)

* fix stepper issues

* fix: snapshot update

---------

Co-authored-by: Martin Henz <henz@comp.nus.edu.sg>

Run Details

3436 of 4828 branches covered (71.17%)

Branch coverage included in aggregate %.

10100 of 12737 relevant lines covered (79.3%)

141023.31 hits per line