17374985321
54%
master: 57%

Ran 01 Sep 2025 10:33AM UTC

Jobs 12

Files 65

Run time 1min

Badge

Committed 01 Sep 2025 10:30AM UTC coverage: 54.117% (+0.01%) from 54.107%

Build Type

push

github

Committed by

Commit Message

fixup! ci: improve robustness of workflow scripting

check nfiles in dist

Run Details

44225 of 81721 relevant lines covered (54.12%)

2274469.29 hits per line

ID	Job ID	Ran	Files	Coverage
1	tvorm -w2 (default) (flint - no) - 17374985321.1	01 Sep 2025 10:34AM UTC	62	50.59	GitHub Action Run
2	tvorm -w2 (extra) - 17374985321.2	01 Sep 2025 10:33AM UTC	65	21.86	GitHub Action Run
3	tvorm (extra) (flint - no) - 17374985321.3	01 Sep 2025 10:33AM UTC	62	22.34	GitHub Action Run
4	vorm (extra) (flint - no) - 17374985321.4	01 Sep 2025 10:33AM UTC	61	21.29	GitHub Action Run
5	tvorm -w2 (default) - 17374985321.5	01 Sep 2025 10:33AM UTC	65	50.95	GitHub Action Run
6	vorm (default) - 17374985321.6	01 Sep 2025 10:33AM UTC	64	50.64	GitHub Action Run
7	tvorm (default) (flint - no) - 17374985321.7	01 Sep 2025 10:34AM UTC	62	50.8	GitHub Action Run
8	vorm (default) (flint - no) - 17374985321.8	01 Sep 2025 10:33AM UTC	61	50.25	GitHub Action Run
9	tvorm (extra) - 17374985321.9	01 Sep 2025 10:33AM UTC	65	22.03	GitHub Action Run
10	tvorm (default) - 17374985321.10	01 Sep 2025 10:34AM UTC	65	51.17	GitHub Action Run
11	vorm (extra) - 17374985321.11	01 Sep 2025 10:33AM UTC	64	20.98	GitHub Action Run
12	tvorm -w2 (extra) (flint - no) - 17374985321.12	01 Sep 2025 10:34AM UTC	62	22.16	GitHub Action Run