22345681337
58%

Ran 24 Feb 2026 10:05AM UTC

Jobs 12

Files 66

Run time 1min

Badge

Committed 24 Feb 2026 09:55AM UTC coverage: 58.043% (+0.009%) from 58.034%

Build Type

push

github

Committed by

Commit Message

docs(manual): fix duplicate labels and correct section hierarchy

Run Details

47993 of 82685 relevant lines covered (58.04%)

5445748.8 hits per line

Lines	Coverage	∆	File
2	78.82	-0.08%	sources/threads.c

ID	Job ID	Ran	Files	Coverage
1	tvorm -w2 (default) (flint - no) - 22345681337.1	24 Feb 2026 10:05AM UTC	63	53.58	GitHub Action Run
2	tvorm -w2 (default) - 22345681337.2	24 Feb 2026 10:05AM UTC	66	53.94	GitHub Action Run
3	tvorm -w2 (extra) (flint - no) - 22345681337.3	24 Feb 2026 10:06AM UTC	63	30.53	GitHub Action Run
4	vorm (extra) (flint - no) - 22345681337.4	24 Feb 2026 10:06AM UTC	62	29.7	GitHub Action Run
5	tvorm (extra) (flint - no) - 22345681337.5	24 Feb 2026 10:06AM UTC	63	30.76	GitHub Action Run
6	tvorm (extra) - 22345681337.6	24 Feb 2026 10:05AM UTC	66	29.21	GitHub Action Run
7	vorm (default) - 22345681337.7	24 Feb 2026 10:05AM UTC	65	53.7	GitHub Action Run
8	vorm (default) (flint - no) - 22345681337.8	24 Feb 2026 10:07AM UTC	62	53.33	GitHub Action Run
9	tvorm (default) - 22345681337.9	24 Feb 2026 10:05AM UTC	66	54.14	GitHub Action Run
10	tvorm (default) (flint - no) - 22345681337.10	24 Feb 2026 10:07AM UTC	63	53.74	GitHub Action Run
11	vorm (extra) - 22345681337.11	24 Feb 2026 10:05AM UTC	65	28.1	GitHub Action Run
12	tvorm -w2 (extra) - 22345681337.12	24 Feb 2026 10:05AM UTC	66	29.02	GitHub Action Run