28431945184
63%
master: 63%

Ran 30 Jun 2026 08:50AM UTC

Jobs 12

Files 66

Run time 1min

Badge

Committed 30 Jun 2026 08:46AM UTC coverage: 63.145% (+0.001%) from 63.144%

Build Type

github

Committed by

Commit Message

Merge f3f424109 into 10513f50f

Coverage Stats

7 of 12 new or added lines in 1 file covered. (58.33%)

52298 of 82822 relevant lines covered (63.15%)

10539878.73 hits per line

Lines	Coverage	∆	File
5	89.42	-0.33%	sources/flintinterface.cc

ID	Job ID	Ran	Files	Coverage
1	tvorm (default) - 28431945184.1	30 Jun 2026 08:50AM UTC	66	58.78	GitHub Action Run
2	tvorm -w2 (default) (flint - no) - 28431945184.2	30 Jun 2026 08:50AM UTC	63	58.26	GitHub Action Run
3	vorm (default) (flint - no) - 28431945184.3	30 Jun 2026 08:50AM UTC	62	58.1	GitHub Action Run
4	tvorm (extra) - 28431945184.4	30 Jun 2026 08:52AM UTC	66	36.57	GitHub Action Run
5	tvorm -w2 (extra) (flint - no) - 28431945184.5	30 Jun 2026 08:52AM UTC	63	39.31	GitHub Action Run
6	vorm (default) - 28431945184.6	30 Jun 2026 08:50AM UTC	65	58.42	GitHub Action Run
7	tvorm -w2 (default) - 28431945184.7	30 Jun 2026 08:50AM UTC	66	58.59	GitHub Action Run
8	tvorm (extra) (flint - no) - 28431945184.8	30 Jun 2026 08:52AM UTC	63	39.54	GitHub Action Run
9	tvorm -w2 (extra) - 28431945184.9	30 Jun 2026 08:51AM UTC	66	36.34	GitHub Action Run
10	vorm (extra) (flint - no) - 28431945184.10	30 Jun 2026 08:51AM UTC	62	38.47	GitHub Action Run
11	vorm (extra) - 28431945184.11	30 Jun 2026 08:50AM UTC	65	35.38	GitHub Action Run
12	tvorm (default) (flint - no) - 28431945184.12	30 Jun 2026 08:50AM UTC	63	58.47	GitHub Action Run