6526306220
93%

Ran 15 Oct 2023 08:39PM UTC

Jobs 1

Files 69

Run time 3s

Badge

Committed 15 Oct 2023 08:25PM UTC coverage: 91.165% (-0.002%) from 91.167%

Build Type

push

github

Committed by

Commit Message

Fix crash after --relaxed warning. Issue #770

Run Details

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

48959 of 53704 relevant lines covered (91.16%)

589541.03 hits per line

Lines	Coverage	∆	File
2	88.61	-0.36%	src/thread.c
99	95.45	0.01%	src/names.c

ID	Job ID	Ran	Files	Coverage
1	6526306220.1	15 Oct 2023 08:39PM UTC	69	91.16	GitHub Action Run