28852797404
63%

Ran 07 Jul 2026 09:47AM UTC

Jobs 12

Files 66

Run time 1min

Badge

Committed 07 Jul 2026 08:33AM UTC coverage: 63.145% (-0.01%) from 63.156%

Build Type

push

github

Committed by

Commit Message

ci: update FLINT to 3.6.0

Coverage Stats

52298 of 82822 relevant lines covered (63.15%)

10559942.61 hits per line

Lines	Coverage	∆	File
9	70.0	-0.39%	sources/sort.c

ID	Job ID	Ran	Files	Coverage
1	tvorm -w2 (default) (flint - no) - 28852797404.1	07 Jul 2026 09:50AM UTC	63	58.24	GitHub Action Run
2	vorm (extra) - 28852797404.2	07 Jul 2026 09:49AM UTC	65	35.38	GitHub Action Run
3	tvorm (default) - 28852797404.3	07 Jul 2026 09:50AM UTC	66	58.77	GitHub Action Run
4	tvorm -w2 (extra) (flint - no) - 28852797404.4	07 Jul 2026 09:47AM UTC	63	39.34	GitHub Action Run
5	tvorm -w2 (extra) - 28852797404.5	07 Jul 2026 09:49AM UTC	66	36.37	GitHub Action Run
6	tvorm (extra) (flint - no) - 28852797404.6	07 Jul 2026 09:48AM UTC	63	39.54	GitHub Action Run
7	vorm (default) - 28852797404.7	07 Jul 2026 09:47AM UTC	65	58.42	GitHub Action Run
8	vorm (extra) (flint - no) - 28852797404.8	07 Jul 2026 09:51AM UTC	62	38.47	GitHub Action Run
9	vorm (default) (flint - no) - 28852797404.9	07 Jul 2026 09:51AM UTC	62	58.1	GitHub Action Run
10	tvorm (extra) - 28852797404.10	07 Jul 2026 09:51AM UTC	66	36.57	GitHub Action Run
11	tvorm -w2 (default) - 28852797404.11	07 Jul 2026 09:49AM UTC	66	58.57	GitHub Action Run
12	tvorm (default) (flint - no) - 28852797404.12	07 Jul 2026 09:49AM UTC	63	58.48	GitHub Action Run