28396368904
63%
master: 63%

Ran 29 Jun 2026 07:16PM UTC

Jobs 12

Files 66

Run time 1min

Badge

Committed 29 Jun 2026 07:12PM UTC coverage: 63.155% (+0.01%) from 63.144%

Build Type

github

Committed by

Commit Message

Merge 80e42f010 into 10513f50f

Coverage Stats

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

52306 of 82822 relevant lines covered (63.15%)

10539296.14 hits per line

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

ID	Job ID	Ran	Files	Coverage
1	tvorm (extra) - 28396368904.1	29 Jun 2026 07:19PM UTC	66	36.57	GitHub Action Run
2	vorm (default) - 28396368904.2	29 Jun 2026 07:17PM UTC	65	58.41	GitHub Action Run
3	vorm (extra) - 28396368904.3	29 Jun 2026 07:17PM UTC	65	35.38	GitHub Action Run
4	tvorm (extra) (flint - no) - 28396368904.4	29 Jun 2026 07:19PM UTC	63	39.54	GitHub Action Run
5	tvorm -w2 (extra) (flint - no) - 28396368904.5	29 Jun 2026 07:20PM UTC	63	39.31	GitHub Action Run
6	tvorm (default) (flint - no) - 28396368904.6	29 Jun 2026 07:18PM UTC	63	58.49	GitHub Action Run
7	tvorm (default) - 28396368904.7	29 Jun 2026 07:18PM UTC	66	58.78	GitHub Action Run
8	tvorm -w2 (default) - 28396368904.8	29 Jun 2026 07:16PM UTC	66	58.54	GitHub Action Run
9	tvorm -w2 (default) (flint - no) - 28396368904.9	29 Jun 2026 07:18PM UTC	63	58.26	GitHub Action Run
10	vorm (extra) (flint - no) - 28396368904.10	29 Jun 2026 07:19PM UTC	62	38.47	GitHub Action Run
11	tvorm -w2 (extra) - 28396368904.11	29 Jun 2026 07:20PM UTC	66	36.34	GitHub Action Run
12	vorm (default) (flint - no) - 28396368904.12	29 Jun 2026 07:18PM UTC	62	58.1	GitHub Action Run