3
92%
main: 92%

Ran 13 Oct 2023 09:20PM UTC

Files 410

Run time 8s

Badge

Committed 13 Oct 2023 09:15PM UTC coverage: 93.859% (+0.001%) from 93.858%

Build Type

push

github

Committed by

Commit Message

Fix primitive extensions on choice types (#3033)

Run Details

7286 of 8065 branches covered (0.0%)

Branch coverage included in aggregate %.

13837 of 14440 relevant lines covered (95.82%)

26222.98 hits per line