18126498624
53%

Ran 30 Sep 2025 10:17AM UTC

Jobs 12

Files 65

Run time 1min

Badge

Committed 30 Sep 2025 10:15AM UTC coverage: 54.35% (-0.02%) from 54.374%

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

44433 of 81754 relevant lines covered (54.35%)

2273733.67 hits per line

Lines	Coverage	∆	File
6	92.21	-0.94%	sources/flintwrap.cc
14	80.67	0.02%	sources/startup.c
17	76.94	-0.67%	sources/threads.c

ID	Job ID	Ran	Files	Coverage
1	vorm (extra) - 18126498624.1	30 Sep 2025 10:17AM UTC	64	20.96	GitHub Action Run
2	tvorm -w2 (extra) - 18126498624.2	30 Sep 2025 10:18AM UTC	65	21.88	GitHub Action Run
3	tvorm (extra) - 18126498624.3	30 Sep 2025 10:17AM UTC	65	22.02	GitHub Action Run
4	tvorm -w2 (default) (flint - no) - 18126498624.4	30 Sep 2025 10:18AM UTC	62	50.9	GitHub Action Run
5	vorm (default) (flint - no) - 18126498624.5	30 Sep 2025 10:18AM UTC	61	50.56	GitHub Action Run
6	tvorm -w2 (default) - 18126498624.6	30 Sep 2025 10:18AM UTC	65	51.27	GitHub Action Run
7	tvorm (extra) (flint - no) - 18126498624.7	30 Sep 2025 10:17AM UTC	62	22.33	GitHub Action Run
8	tvorm -w2 (extra) (flint - no) - 18126498624.8	30 Sep 2025 10:18AM UTC	62	22.13	GitHub Action Run
9	vorm (extra) (flint - no) - 18126498624.9	30 Sep 2025 10:17AM UTC	61	21.29	GitHub Action Run
10	vorm (default) - 18126498624.10	30 Sep 2025 10:18AM UTC	64	50.95	GitHub Action Run
11	tvorm (default) - 18126498624.11	30 Sep 2025 10:18AM UTC	65	51.46	GitHub Action Run
12	tvorm (default) (flint - no) - 18126498624.12	30 Sep 2025 10:18AM UTC	62	51.1	GitHub Action Run