20084187072
57%
master: 57%

Ran 10 Dec 2025 01:46AM UTC

Jobs 12

Files 65

Run time 1min

Badge

Committed 10 Dec 2025 01:28AM UTC coverage: 57.323% (+0.003%) from 57.32%

Build Type

push

github

Committed by

Commit Message

ci: bump flint to 3.4.0

Run Details

47328 of 82564 relevant lines covered (57.32%)

5672123.61 hits per line

ID	Job ID	Ran	Files	Coverage
1	tvorm (extra) (flint - no) - 20084187072.1	10 Dec 2025 01:48AM UTC	62	30.74	GitHub Action Run
2	tvorm -w2 (default) - 20084187072.2	10 Dec 2025 01:46AM UTC	65	53.09	GitHub Action Run
3	tvorm -w2 (extra) - 20084187072.3	10 Dec 2025 01:48AM UTC	65	28.97	GitHub Action Run
4	tvorm -w2 (default) (flint - no) - 20084187072.4	10 Dec 2025 01:47AM UTC	62	52.72	GitHub Action Run
5	tvorm (default) (flint - no) - 20084187072.5	10 Dec 2025 01:47AM UTC	62	52.93	GitHub Action Run
6	vorm (extra) - 20084187072.6	10 Dec 2025 01:59AM UTC	64	28.08	GitHub Action Run
7	vorm (extra) (flint - no) - 20084187072.7	10 Dec 2025 01:46AM UTC	61	29.69	GitHub Action Run
8	vorm (default) (flint - no) - 20084187072.8	10 Dec 2025 01:47AM UTC	61	52.46	GitHub Action Run
9	tvorm -w2 (extra) (flint - no) - 20084187072.9	10 Dec 2025 01:48AM UTC	62	30.54	GitHub Action Run
10	tvorm (default) - 20084187072.10	10 Dec 2025 01:48AM UTC	65	53.29	GitHub Action Run
11	vorm (default) - 20084187072.11	10 Dec 2025 01:46AM UTC	64	52.84	GitHub Action Run
12	tvorm (extra) - 20084187072.12	10 Dec 2025 02:00AM UTC	65	29.19	GitHub Action Run