20059217234
53%

Ran 09 Dec 2025 10:12AM UTC

Jobs 12

Files 65

Run time 1min

Badge

Committed 09 Dec 2025 09:52AM UTC coverage: 57.121% (+0.003%) from 57.118%

Build Type

push

github

Committed by

Commit Message

doc: manual: add text on the interaction of extrasymbols and dummy indices

Run Details

47159 of 82560 relevant lines covered (57.12%)

5680440.22 hits per line

ID	Job ID	Ran	Files	Coverage
1	vorm (extra) - 20059217234.1	09 Dec 2025 10:12AM UTC	64	28.09	GitHub Action Run
2	tvorm (extra) - 20059217234.2	09 Dec 2025 10:14AM UTC	65	29.19	GitHub Action Run
3	tvorm -w2 (default) - 20059217234.3	09 Dec 2025 10:13AM UTC	65	52.87	GitHub Action Run
4	tvorm -w2 (default) (flint - no) - 20059217234.4	09 Dec 2025 10:12AM UTC	62	52.55	GitHub Action Run
5	tvorm -w2 (extra) (flint - no) - 20059217234.5	09 Dec 2025 10:14AM UTC	62	30.54	GitHub Action Run
6	tvorm (extra) (flint - no) - 20059217234.6	09 Dec 2025 10:14AM UTC	62	30.74	GitHub Action Run
7	vorm (default) (flint - no) - 20059217234.7	09 Dec 2025 10:13AM UTC	61	52.26	GitHub Action Run
8	vorm (extra) (flint - no) - 20059217234.8	09 Dec 2025 10:14AM UTC	61	29.69	GitHub Action Run
9	tvorm (default) - 20059217234.9	09 Dec 2025 10:13AM UTC	65	53.04	GitHub Action Run
10	tvorm (default) (flint - no) - 20059217234.10	09 Dec 2025 10:13AM UTC	62	52.71	GitHub Action Run
11	tvorm -w2 (extra) - 20059217234.11	09 Dec 2025 10:13AM UTC	65	28.99	GitHub Action Run
12	vorm (default) - 20059217234.12	09 Dec 2025 10:14AM UTC	64	52.62	GitHub Action Run