28833211988
63%
master: 63%

Ran 07 Jul 2026 12:50AM 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%)

10535398.38 hits per line

ID	Job ID	Ran	Files	Coverage
1	tvorm (default) (flint - no) - 28833211988.1	07 Jul 2026 12:50AM UTC	63	58.47	GitHub Action Run
2	tvorm -w2 (extra) (flint - no) - 28833211988.2	07 Jul 2026 12:52AM UTC	63	39.35	GitHub Action Run
3	tvorm -w2 (default) (flint - no) - 28833211988.3	07 Jul 2026 12:50AM UTC	63	58.26	GitHub Action Run
4	tvorm (extra) - 28833211988.4	07 Jul 2026 12:52AM UTC	66	36.57	GitHub Action Run
5	tvorm (default) - 28833211988.5	07 Jul 2026 12:51AM UTC	66	58.78	GitHub Action Run
6	vorm (extra) - 28833211988.6	07 Jul 2026 12:50AM UTC	65	35.38	GitHub Action Run
7	vorm (extra) (flint - no) - 28833211988.7	07 Jul 2026 12:51AM UTC	62	38.47	GitHub Action Run
8	vorm (default) - 28833211988.8	07 Jul 2026 12:50AM UTC	65	58.42	GitHub Action Run
9	vorm (default) (flint - no) - 28833211988.9	07 Jul 2026 12:50AM UTC	62	58.1	GitHub Action Run
10	tvorm (extra) (flint - no) - 28833211988.10	07 Jul 2026 12:53AM UTC	63	39.54	GitHub Action Run
11	tvorm -w2 (default) - 28833211988.11	07 Jul 2026 12:50AM UTC	66	58.57	GitHub Action Run
12	tvorm -w2 (extra) - 28833211988.12	07 Jul 2026 12:52AM UTC	66	36.37	GitHub Action Run