20979821575
58%

Ran 14 Jan 2026 02:20AM UTC

Jobs 12

Files 65

Run time 1min

Badge

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

Build Type

push

github

Committed by

Commit Message

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

Run Details

44185 of 82797 relevant lines covered (53.37%)

5351214.67 hits per line

Lines	Coverage	∆	File
94	88.56	-0.02%	sources/flintinterface.cc

ID	Job ID	Ran	Files	Coverage
1	vorm (default) (flint - no) - 20979821575.1	14 Jan 2026 02:20AM UTC	61	48.27	GitHub Action Run
2	vorm (extra) (flint - no) - 20979821575.2	14 Jan 2026 02:20AM UTC	61	29.62	GitHub Action Run
3	tvorm -w2 (extra) - 20979821575.3	14 Jan 2026 02:21AM UTC	65	28.94	GitHub Action Run
4	vorm (extra) - 20979821575.4	14 Jan 2026 02:20AM UTC	64	28.02	GitHub Action Run
5	tvorm -w2 (extra) (flint - no) - 20979821575.5	14 Jan 2026 02:21AM UTC	62	30.47	GitHub Action Run
6	tvorm (extra) (flint - no) - 20979821575.6	14 Jan 2026 02:21AM UTC	62	30.68	GitHub Action Run
7	tvorm -w2 (default) (flint - no) - 20979821575.7	14 Jan 2026 02:21AM UTC	62	48.69	GitHub Action Run
8	tvorm (extra) - 20979821575.8	14 Jan 2026 02:21AM UTC	65	29.13	GitHub Action Run
9	vorm (default) - 20979821575.9	14 Jan 2026 02:20AM UTC	64	48.72	GitHub Action Run
10	tvorm (default) (flint - no) - 20979821575.10	14 Jan 2026 02:21AM UTC	62	48.91	GitHub Action Run
11	tvorm -w2 (default) - 20979821575.11	14 Jan 2026 02:22AM UTC	65	49.14	GitHub Action Run
12	tvorm (default) - 20979821575.12	14 Jan 2026 02:21AM UTC	65	49.32	GitHub Action Run