1
87%
main: 87%

Ran 24 Nov 2024 05:01PM UTC

Files 309

Run time 7s

Badge

Committed 24 Nov 2024 04:36PM UTC coverage: 73.921% (-0.06%) from 73.983%

Build Type

push

github

Committed by

Commit Message

use T_UNINIT as lower bound for types

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

Run Details

8305 of 11235 relevant lines covered (73.92%)

1890075.06 hits per line