28843804131
63%
master: 63%

Ran 07 Jul 2026 05:38AM UTC

Jobs 12

Files 66

Run time 1min

Badge

Committed 07 Jul 2026 12:39AM UTC coverage: 63.145%. First build

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%)

10533515.29 hits per line

ID	Job ID	Ran	Files	Coverage
1	tvorm -w2 (default) - 28843804131.1	07 Jul 2026 05:38AM UTC	66	58.54	GitHub Action Run
2	vorm (extra) (flint - no) - 28843804131.2	07 Jul 2026 05:39AM UTC	62	38.47	GitHub Action Run
3	tvorm (default) - 28843804131.3	07 Jul 2026 05:39AM UTC	66	58.78	GitHub Action Run
4	vorm (extra) - 28843804131.4	07 Jul 2026 05:39AM UTC	65	35.38	GitHub Action Run
5	tvorm (extra) (flint - no) - 28843804131.5	07 Jul 2026 05:40AM UTC	63	39.54	GitHub Action Run
6	tvorm (extra) - 28843804131.6	07 Jul 2026 05:40AM UTC	66	36.57	GitHub Action Run
7	tvorm (default) (flint - no) - 28843804131.7	07 Jul 2026 05:38AM UTC	63	58.48	GitHub Action Run
8	tvorm -w2 (extra) - 28843804131.8	07 Jul 2026 05:40AM UTC	66	36.37	GitHub Action Run
9	tvorm -w2 (default) (flint - no) - 28843804131.9	07 Jul 2026 05:38AM UTC	63	58.29	GitHub Action Run
10	vorm (default) (flint - no) - 28843804131.10	07 Jul 2026 05:38AM UTC	62	58.1	GitHub Action Run
11	tvorm -w2 (extra) (flint - no) - 28843804131.11	07 Jul 2026 05:40AM UTC	63	39.34	GitHub Action Run
12	vorm (default) - 28843804131.12	07 Jul 2026 05:38AM UTC	65	58.42	GitHub Action Run