16186954512
51%
master: 57%

Ran 10 Jul 2025 05:33AM UTC

Jobs 12

Files 70

Run time 1min

Badge

Committed 10 Jul 2025 05:30AM UTC coverage: 50.874% (+0.001%) from 50.873%

Build Type

github

Committed by

Commit Message

Merge f15ef8d52 into eebd42da6

Run Details

42240 of 83029 relevant lines covered (50.87%)

2136107.62 hits per line

Lines	Coverage	∆	File
1	62.61	0.04%	sources/sort.c

ID	Job ID	Ran	Files	Coverage
1	tvorm (extra) (flint - no) - 16186954512.1	10 Jul 2025 05:34AM UTC	67	4.46	GitHub Action Run
2	tvorm -w2 (extra) (flint - no) - 16186954512.2	10 Jul 2025 05:34AM UTC	67	4.33	GitHub Action Run
3	vorm (extra) - 16186954512.3	10 Jul 2025 05:34AM UTC	69	3.97	GitHub Action Run
4	tvorm -w2 (extra) - 16186954512.4	10 Jul 2025 05:33AM UTC	70	4.3	GitHub Action Run
5	vorm (default) (flint - no) - 16186954512.5	10 Jul 2025 05:34AM UTC	66	48.82	GitHub Action Run
6	tvorm (extra) - 16186954512.6	10 Jul 2025 05:33AM UTC	70	4.43	GitHub Action Run
7	tvorm -w2 (default) (flint - no) - 16186954512.7	10 Jul 2025 05:35AM UTC	67	49.1	GitHub Action Run
8	tvorm -w2 (default) - 16186954512.8	10 Jul 2025 05:34AM UTC	70	49.5	GitHub Action Run
9	tvorm (default) (flint - no) - 16186954512.9	10 Jul 2025 05:34AM UTC	67	49.3	GitHub Action Run
10	vorm (extra) (flint - no) - 16186954512.10	10 Jul 2025 05:33AM UTC	66	4.0	GitHub Action Run
11	tvorm (default) - 16186954512.11	10 Jul 2025 05:34AM UTC	70	49.69	GitHub Action Run
12	vorm (default) - 16186954512.12	10 Jul 2025 05:34AM UTC	69	49.24	GitHub Action Run