7253655474
92%

Ran 18 Dec 2023 08:59PM UTC

Jobs 1

Files 76

Run time 12s

Badge

Committed 18 Dec 2023 08:32PM UTC coverage: 91.66% (-0.009%) from 91.669%

Build Type

push

github

Committed by

Commit Message

Use lower_get_type_bounds in more places

Run Details

20 of 20 new or added lines in 1 file covered. (100.0%)

231 existing lines in 2 files now uncovered.

50971 of 55609 relevant lines covered (91.66%)

640781.87 hits per line

Lines	Coverage	∆	File
7	74.96	-1.2%	src/server.c
224	96.75	0.01%	src/lower.c

ID	Job ID	Ran	Files	Coverage
1	7253655474.1	18 Dec 2023 08:59PM UTC	76	91.66	GitHub Action Run