20084077898
57%

Ran 10 Dec 2025 01:26AM UTC

Jobs 12

Files 65

Run time 1min

Badge

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

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.

Run Details

3 of 3 new or added lines in 1 file covered. (100.0%)

105 existing lines in 3 files now uncovered.

47326 of 82564 relevant lines covered (57.32%)

5682463.65 hits per line

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

ID	Job ID	Ran	Files	Coverage
1	tvorm -w2 (default) - 20084077898.1	10 Dec 2025 01:38AM UTC	65	53.11	GitHub Action Run
2	vorm (extra) (flint - no) - 20084077898.2	10 Dec 2025 01:37AM UTC	61	29.69	GitHub Action Run
3	vorm (default) (flint - no) - 20084077898.3	10 Dec 2025 01:26AM UTC	61	52.46	GitHub Action Run
4	tvorm -w2 (default) (flint - no) - 20084077898.4	10 Dec 2025 01:26AM UTC	62	52.72	GitHub Action Run
5	vorm (extra) - 20084077898.5	10 Dec 2025 01:28AM UTC	64	28.08	GitHub Action Run
6	tvorm (default) (flint - no) - 20084077898.6	10 Dec 2025 01:29AM UTC	62	52.92	GitHub Action Run
7	tvorm (extra) - 20084077898.7	10 Dec 2025 01:28AM UTC	65	29.19	GitHub Action Run
8	tvorm (extra) (flint - no) - 20084077898.8	10 Dec 2025 01:26AM UTC	62	30.74	GitHub Action Run
9	tvorm -w2 (extra) - 20084077898.9	10 Dec 2025 01:26AM UTC	65	28.99	GitHub Action Run
10	vorm (default) - 20084077898.10	10 Dec 2025 01:26AM UTC	64	52.84	GitHub Action Run
11	tvorm (default) - 20084077898.11	10 Dec 2025 01:26AM UTC	65	53.29	GitHub Action Run
12	tvorm -w2 (extra) (flint - no) - 20084077898.12	10 Dec 2025 01:38AM UTC	62	30.54	GitHub Action Run