15603025233
77%

Ran 12 Jun 2025 06:17AM UTC

Jobs 1

Files 172

Run time 476min

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 %.

1 of 1 new or added line in 1 file covered. (100.0%)

10100 of 12737 relevant lines covered (79.3%)

141023.31 hits per line

ID	Job ID	Ran	Files	Coverage
1	15603025233.1	12 Jun 2025 06:17AM UTC	172	77.06	GitHub Action Run