21169523198
58%

Ran 20 Jan 2026 11:28AM UTC

Jobs 12

Files 65

Run time 1min

Badge

Committed 20 Jan 2026 11:18AM UTC coverage: 53.399%. Remained the same

Build Type

push

github

Committed by

Commit Message

ci: upgrade FLINT to 3.4.0

See: https://flintlib.org/doc/history.html#flint-3-4-0

Run Details

44202 of 82777 relevant lines covered (53.4%)

5360299.69 hits per line

ID	Job ID	Ran	Files	Coverage
1	tvorm -w2 (default) - 21169523198.1	20 Jan 2026 11:29AM UTC	65	49.19	GitHub Action Run
2	vorm (extra) (flint - no) - 21169523198.2	20 Jan 2026 11:29AM UTC	61	29.65	GitHub Action Run
3	tvorm -w2 (extra) (flint - no) - 21169523198.3	20 Jan 2026 11:29AM UTC	62	30.51	GitHub Action Run
4	tvorm (extra) - 21169523198.4	20 Jan 2026 11:31AM UTC	65	29.16	GitHub Action Run
5	tvorm (default) (flint - no) - 21169523198.5	20 Jan 2026 11:29AM UTC	62	48.94	GitHub Action Run
6	vorm (default) (flint - no) - 21169523198.6	20 Jan 2026 11:28AM UTC	61	48.32	GitHub Action Run
7	tvorm (extra) (flint - no) - 21169523198.7	20 Jan 2026 11:29AM UTC	62	30.68	GitHub Action Run
8	tvorm -w2 (extra) - 21169523198.8	20 Jan 2026 11:29AM UTC	65	28.97	GitHub Action Run
9	tvorm -w2 (default) (flint - no) - 21169523198.9	20 Jan 2026 11:29AM UTC	62	48.78	GitHub Action Run
10	vorm (extra) - 21169523198.10	20 Jan 2026 11:31AM UTC	64	28.06	GitHub Action Run
11	vorm (default) - 21169523198.11	20 Jan 2026 11:29AM UTC	64	48.77	GitHub Action Run
12	tvorm (default) - 21169523198.12	20 Jan 2026 11:28AM UTC	65	49.39	GitHub Action Run