18125652002
54%
master: 57%

Ran 30 Sep 2025 09:52AM UTC

Jobs 12

Files 65

Run time 1min

Badge

Committed 30 Sep 2025 09:38AM UTC coverage: 54.367% (+0.3%) from 54.112%

Build Type

push

github

Committed by

Commit Message

refactor: remove workaround for FLINT >= 3.0.0 and < 3.2.0

We now require FLINT >= 3.2.0. The workaround is no longer necessary.

Run Details

44447 of 81754 relevant lines covered (54.37%)

2275204.07 hits per line

Lines	Coverage	∆	File
2	64.18	-0.08%	sources/sort.c
8	87.19	0.0%	sources/flintinterface.cc
11	92.21	0.37%	sources/flintwrap.cc
27	80.39	0.0%	sources/setfile.c
92	62.22	0.02%	sources/sch.c
116	75.81	11.8%	sources/float.c
961	54.33	0.16%	sources/pre.c
1363	42.71	0.43%	sources/compcomm.c

ID	Job ID	Ran	Files	Coverage
1	tvorm -w2 (extra) (flint - no) - 18125652002.1	30 Sep 2025 10:00AM UTC	62	22.15	GitHub Action Run
2	tvorm -w2 (default) (flint - no) - 18125652002.2	30 Sep 2025 09:57AM UTC	62	50.91	GitHub Action Run
3	tvorm (default) (flint - no) - 18125652002.3	30 Sep 2025 10:01AM UTC	62	51.09	GitHub Action Run
4	vorm (extra) (flint - no) - 18125652002.4	30 Sep 2025 09:55AM UTC	61	21.29	GitHub Action Run
5	tvorm (extra) (flint - no) - 18125652002.5	30 Sep 2025 09:56AM UTC	62	22.33	GitHub Action Run
6	tvorm -w2 (extra) - 18125652002.6	30 Sep 2025 09:56AM UTC	65	21.84	GitHub Action Run
7	vorm (extra) - 18125652002.7	30 Sep 2025 09:52AM UTC	64	20.96	GitHub Action Run
8	tvorm (extra) - 18125652002.8	30 Sep 2025 10:01AM UTC	65	22.02	GitHub Action Run
9	tvorm (default) - 18125652002.9	30 Sep 2025 09:56AM UTC	65	51.48	GitHub Action Run
10	vorm (default) - 18125652002.10	30 Sep 2025 09:55AM UTC	64	50.95	GitHub Action Run
11	vorm (default) (flint - no) - 18125652002.11	30 Sep 2025 09:57AM UTC	61	50.56	GitHub Action Run
12	tvorm -w2 (default) - 18125652002.12	30 Sep 2025 09:57AM UTC	65	51.3	GitHub Action Run