3
85%
main: 85%

Ran 26 Sep 2023 10:18PM UTC

Files 360

Run time 8s

Badge

Committed 26 Sep 2023 10:09PM UTC coverage: 84.205% (-0.01%) from 84.216%

Build Type

push

github

Committed by

Commit Message

Merge pull request #24 from CMU-313/style-role-id

Displayed and Styled Role Id

Run Details

9245 of 12196 branches covered (0.0%)

Branch coverage included in aggregate %.

20827 of 23517 relevant lines covered (88.56%)

493.68 hits per line