1
95%
main: 95%

Ran 17 Jan 2025 02:45AM UTC

Files 52

Run time 1s

Badge

Committed 17 Jan 2025 02:45AM UTC coverage: 95.401% (-0.02%) from 95.425%

Build Type

push

github

Committed by

Commit Message

Add two doc pages for popl placeholders (#100)

Run Details

653 of 683 branches covered (95.61%)

Branch coverage included in aggregate %.

3392 of 3557 relevant lines covered (95.36%)

934.15 hits per line