1
79%
main: 79%

Ran 08 Oct 2025 11:53PM UTC

Files 395

Run time 12s

Badge

Committed 08 Oct 2025 11:48PM UTC coverage: 78.548% (-0.002%) from 78.55%

Build Type

push

github

Committed by

Commit Message

Merge pull request #23 from CMU-313/default-formats-frontend

Default formats frontend

Run Details

11208 of 16117 branches covered (69.54%)

Branch coverage included in aggregate %.

24815 of 29744 relevant lines covered (83.43%)

1494.16 hits per line