1
78%
main: 78%

Ran 10 Oct 2025 10:39PM UTC

Files 393

Run time 11s

Badge

Committed 10 Oct 2025 10:34PM UTC coverage: 77.69% (+0.02%) from 77.668%

Build Type

push

github

Committed by

Commit Message

Merge pull request #40 from CMU-313/userguide-branch

Userguide Creation

Run Details

11068 of 16180 branches covered (68.41%)

Branch coverage included in aggregate %.

24642 of 29785 relevant lines covered (82.73%)

1450.72 hits per line