20956825116
53%

Ran 13 Jan 2026 12:40PM UTC

Jobs 12

Files 65

Run time 1min

Badge

Committed 13 Jan 2026 12:32PM UTC coverage: 53.355% (+0.003%) from 53.352%

Build Type

push

github

Committed by

Commit Message

man: updated the sections on floating point numbers in the manual.

Run Details

44176 of 82797 relevant lines covered (53.35%)

5314177.44 hits per line

ID	Job ID	Ran	Files	Coverage
1	vorm (default) (flint - no) - 20956825116.1	13 Jan 2026 12:40PM UTC	61	48.27	GitHub Action Run
2	tvorm -w2 (extra) - 20956825116.2	13 Jan 2026 12:40PM UTC	65	28.91	GitHub Action Run
3	tvorm -w2 (default) (flint - no) - 20956825116.3	13 Jan 2026 12:41PM UTC	62	48.73	GitHub Action Run
4	tvorm (extra) (flint - no) - 20956825116.4	13 Jan 2026 12:40PM UTC	62	30.67	GitHub Action Run
5	tvorm -w2 (default) - 20956825116.5	13 Jan 2026 12:40PM UTC	65	49.14	GitHub Action Run
6	tvorm (default) - 20956825116.6	13 Jan 2026 12:41PM UTC	65	49.31	GitHub Action Run
7	tvorm (extra) - 20956825116.7	13 Jan 2026 12:41PM UTC	65	29.13	GitHub Action Run
8	vorm (extra) (flint - no) - 20956825116.8	13 Jan 2026 12:40PM UTC	61	29.62	GitHub Action Run
9	tvorm -w2 (extra) (flint - no) - 20956825116.9	13 Jan 2026 12:40PM UTC	62	30.47	GitHub Action Run
10	vorm (default) - 20956825116.10	13 Jan 2026 12:40PM UTC	64	48.72	GitHub Action Run
11	vorm (extra) - 20956825116.11	13 Jan 2026 12:40PM UTC	64	28.02	GitHub Action Run
12	tvorm (default) (flint - no) - 20956825116.12	13 Jan 2026 12:41PM UTC	62	48.9	GitHub Action Run