27940906936
63%

Ran 22 Jun 2026 08:55AM UTC

Jobs 12

Files 66

Run time 2min

Badge

Committed 22 Jun 2026 08:51AM UTC coverage: 62.873% (+0.03%) from 62.841%

Build Type

push

github

Committed by

Commit Message

doc(manual): add examples and statements

Coverage Stats

52058 of 82798 relevant lines covered (62.87%)

10540829.2 hits per line

Lines	Coverage	∆	File
11	70.0	-0.47%	sources/sort.c

ID	Job ID	Ran	Files	Coverage
1	tvorm -w2 (default) (flint - no) - 27940906936.1	22 Jun 2026 08:55AM UTC	63	57.78	GitHub Action Run
2	tvorm (extra) - 27940906936.2	22 Jun 2026 08:57AM UTC	66	36.51	GitHub Action Run
3	vorm (default) (flint - no) - 27940906936.3	22 Jun 2026 08:55AM UTC	62	57.58	GitHub Action Run
4	tvorm (extra) (flint - no) - 27940906936.4	22 Jun 2026 08:57AM UTC	63	39.49	GitHub Action Run
5	vorm (extra) - 27940906936.5	22 Jun 2026 08:56AM UTC	65	35.31	GitHub Action Run
6	vorm (default) - 27940906936.6	22 Jun 2026 08:55AM UTC	65	57.89	GitHub Action Run
7	tvorm (default) - 27940906936.7	22 Jun 2026 08:55AM UTC	66	58.3	GitHub Action Run
8	vorm (extra) (flint - no) - 27940906936.8	22 Jun 2026 08:56AM UTC	62	38.41	GitHub Action Run
9	tvorm -w2 (extra) (flint - no) - 27940906936.9	22 Jun 2026 08:56AM UTC	63	39.25	GitHub Action Run
10	tvorm (default) (flint - no) - 27940906936.10	22 Jun 2026 08:55AM UTC	63	57.99	GitHub Action Run
11	tvorm -w2 (extra) - 27940906936.11	22 Jun 2026 08:57AM UTC	66	36.27	GitHub Action Run
12	tvorm -w2 (default) - 27940906936.12	22 Jun 2026 08:55AM UTC	66	58.05	GitHub Action Run