20068474439
66%

Ran 09 Dec 2025 03:18PM UTC

Jobs 12

Files 65

Run time 1min

Badge

Committed 09 Dec 2025 03:15PM UTC coverage: 57.334% (+0.2%) from 57.16%

Build Type

push

github

Committed by

Commit Message

fix: fixed the compiler warning in CoStrictRounding. Added two more tests for the StrictRounding statement to have full coverage.

Coverage Stats

47337 of 82564 relevant lines covered (57.33%)

5681406.02 hits per line

Lines	Coverage	∆	File
85	85.25	8.41%	sources/float.c
13	96.99	0.35%	sources/evaluate.c
7	58.39	0.03%	sources/pre.c

ID	Job ID	Ran	Files	Coverage
1	vorm (extra) (flint - no) - 20068474439.1	09 Dec 2025 03:18PM UTC	61	29.69	GitHub Action Run
2	vorm (default) - 20068474439.2	09 Dec 2025 03:18PM UTC	64	52.84	GitHub Action Run
3	tvorm -w2 (extra) - 20068474439.3	09 Dec 2025 03:18PM UTC	65	28.97	GitHub Action Run
4	tvorm -w2 (default) (flint - no) - 20068474439.4	09 Dec 2025 03:20PM UTC	62	52.72	GitHub Action Run
5	vorm (extra) - 20068474439.5	09 Dec 2025 03:18PM UTC	64	28.08	GitHub Action Run
6	tvorm -w2 (extra) (flint - no) - 20068474439.6	09 Dec 2025 03:20PM UTC	62	30.55	GitHub Action Run
7	tvorm (extra) (flint - no) - 20068474439.7	09 Dec 2025 03:18PM UTC	62	30.74	GitHub Action Run
8	vorm (default) (flint - no) - 20068474439.8	09 Dec 2025 03:19PM UTC	61	52.46	GitHub Action Run
9	tvorm (extra) - 20068474439.9	09 Dec 2025 03:18PM UTC	65	29.19	GitHub Action Run
10	tvorm -w2 (default) - 20068474439.10	09 Dec 2025 03:18PM UTC	65	53.11	GitHub Action Run
11	tvorm (default) (flint - no) - 20068474439.11	09 Dec 2025 03:18PM UTC	62	52.93	GitHub Action Run
12	tvorm (default) - 20068474439.12	09 Dec 2025 03:24PM UTC	65	53.25	GitHub Action Run