17451401676
54%
master: 57%

Ran 04 Sep 2025 02:25AM UTC

Jobs 12

Files 65

Run time 2min

Badge

Committed 04 Sep 2025 02:16AM UTC coverage: 54.112%. First build

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

44219 of 81717 relevant lines covered (54.11%)

2275425.48 hits per line

ID	Job ID	Ran	Files	Coverage
1	tvorm -w2 (default) (flint - no) - 17451401676.1	04 Sep 2025 02:26AM UTC	62	50.61	GitHub Action Run
2	tvorm (default) - 17451401676.2	04 Sep 2025 02:26AM UTC	65	51.16	GitHub Action Run
3	tvorm -w2 (extra) (flint - no) - 17451401676.3	04 Sep 2025 02:25AM UTC	62	22.13	GitHub Action Run
4	vorm (default) (flint - no) - 17451401676.4	04 Sep 2025 02:25AM UTC	61	50.25	GitHub Action Run
5	vorm (extra) (flint - no) - 17451401676.5	04 Sep 2025 02:25AM UTC	61	21.29	GitHub Action Run
6	vorm (extra) - 17451401676.6	04 Sep 2025 02:26AM UTC	64	20.97	GitHub Action Run
7	tvorm -w2 (extra) - 17451401676.7	04 Sep 2025 02:26AM UTC	65	21.85	GitHub Action Run
8	tvorm (extra) (flint - no) - 17451401676.8	04 Sep 2025 02:25AM UTC	62	22.35	GitHub Action Run
9	tvorm (extra) - 17451401676.9	04 Sep 2025 02:25AM UTC	65	22.03	GitHub Action Run
10	vorm (default) - 17451401676.10	04 Sep 2025 02:25AM UTC	64	50.64	GitHub Action Run
11	tvorm -w2 (default) - 17451401676.11	04 Sep 2025 02:26AM UTC	65	50.97	GitHub Action Run
12	tvorm (default) (flint - no) - 17451401676.12	04 Sep 2025 02:26AM UTC	62	50.8	GitHub Action Run