18872302212
57%
master: 58%

Ran 28 Oct 2025 11:07AM UTC

Jobs 12

Files 65

Run time 1min

Badge

Committed 28 Oct 2025 10:50AM UTC coverage: 57.037% (+0.02%) from 57.013%

Build Type

github

Committed by

Commit Message

Merge 03f072c44 into 8e83f1e9a

Run Details

52 of 61 new or added lines in 3 files covered. (85.25%)

47009 of 82418 relevant lines covered (57.04%)

5685812.35 hits per line

Lines	Coverage	∆	File
9	76.52	0.7%	sources/float.c

ID	Job ID	Ran	Files	Coverage
1	tvorm (extra) (flint - no) - 18872302212.1	28 Oct 2025 11:09AM UTC	62	30.78	GitHub Action Run
2	tvorm -w2 (extra) - 18872302212.2	28 Oct 2025 11:08AM UTC	65	29.04	GitHub Action Run
3	vorm (extra) - 18872302212.3	28 Oct 2025 11:07AM UTC	64	28.13	GitHub Action Run
4	tvorm -w2 (extra) (flint - no) - 18872302212.4	28 Oct 2025 11:16AM UTC	62	30.58	GitHub Action Run
5	tvorm (extra) - 18872302212.5	28 Oct 2025 11:09AM UTC	65	29.23	GitHub Action Run
6	tvorm -w2 (default) (flint - no) - 18872302212.6	28 Oct 2025 11:08AM UTC	62	52.39	GitHub Action Run
7	tvorm -w2 (default) - 18872302212.7	28 Oct 2025 11:08AM UTC	65	52.74	GitHub Action Run
8	vorm (extra) (flint - no) - 18872302212.8	28 Oct 2025 11:16AM UTC	61	29.74	GitHub Action Run
9	tvorm (default) - 18872302212.9	28 Oct 2025 11:16AM UTC	65	52.93	GitHub Action Run
10	tvorm (default) (flint - no) - 18872302212.10	28 Oct 2025 11:08AM UTC	62	52.61	GitHub Action Run
11	vorm (default) (flint - no) - 18872302212.11	28 Oct 2025 11:07AM UTC	61	52.12	GitHub Action Run
12	vorm (default) - 18872302212.12	28 Oct 2025 11:07AM UTC	64	52.48	GitHub Action Run