15560030841
53%

Ran 10 Jun 2025 12:54PM UTC

Jobs 12

Files 70

Run time 3min

Badge

Committed 10 Jun 2025 12:53PM UTC coverage: 50.396% (+1.1%) from 49.281%

Build Type

push

github

Committed by

Commit Message

doc: Add On/Off flint; to the manual

Run Details

41798 of 82939 relevant lines covered (50.4%)

2640099.99 hits per line

Lines	Coverage	∆	File
27	80.42	0.03%	sources/setfile.c
27	78.96	0.06%	sources/startup.c
101	85.7	8.09%	sources/polywrap.cc
264	77.56	0.06%	sources/threads.c
384	63.27	0.8%	sources/sort.c
1377	37.58	0.04%	sources/compcomm.c

ID	Job ID	Ran	Files	Coverage
1	tvorm (extra) (flint - no) - 15560030841.1	10 Jun 2025 12:56PM UTC	67	4.46	GitHub Action Run
2	vorm (extra) - 15560030841.2	10 Jun 2025 12:56PM UTC	69	3.97	GitHub Action Run
3	tvorm -w2 (extra) (flint - no) - 15560030841.3	10 Jun 2025 12:56PM UTC	67	4.33	GitHub Action Run
4	vorm (extra) (flint - no) - 15560030841.4	10 Jun 2025 12:57PM UTC	66	4.0	GitHub Action Run
5	tvorm (default) (flint - no) - 15560030841.5	10 Jun 2025 12:55PM UTC	67	48.84	GitHub Action Run
6	tvorm -w2 (extra) - 15560030841.6	10 Jun 2025 12:55PM UTC	70	4.3	GitHub Action Run
7	vorm (default) (flint - no) - 15560030841.7	10 Jun 2025 12:57PM UTC	66	48.37	GitHub Action Run
8	vorm (default) - 15560030841.8	10 Jun 2025 12:54PM UTC	69	48.79	GitHub Action Run
9	tvorm (default) - 15560030841.9	10 Jun 2025 12:57PM UTC	70	49.24	GitHub Action Run
10	tvorm -w2 (default) - 15560030841.10	10 Jun 2025 12:56PM UTC	70	49.04	GitHub Action Run
11	tvorm (extra) - 15560030841.11	10 Jun 2025 12:54PM UTC	70	4.43	GitHub Action Run
12	tvorm -w2 (default) (flint - no) - 15560030841.12	10 Jun 2025 12:55PM UTC	67	48.63	GitHub Action Run