16178745804
53%

Ran 09 Jul 2025 07:48PM UTC

Jobs 12

Files 70

Run time 1min

Badge

Committed 09 Jul 2025 07:45PM UTC coverage: 50.874% (+0.03%) from 50.845%

Build Type

push

github

Committed by

Commit Message

fix: repeat if sum creates dummy indices

If Sum changed the term, set RepCount so that the action is repeated
in a Repeat environment.

Run Details

5 of 5 new or added lines in 1 file covered. (100.0%)

42235 of 83019 relevant lines covered (50.87%)

2133709.0 hits per line

ID	Job ID	Ran	Files	Coverage
1	tvorm -w2 (extra) (flint - no) - 16178745804.1	09 Jul 2025 07:48PM UTC	67	4.33	GitHub Action Run
2	tvorm -w2 (extra) - 16178745804.2	09 Jul 2025 07:48PM UTC	70	4.3	GitHub Action Run
3	tvorm (extra) (flint - no) - 16178745804.3	09 Jul 2025 07:48PM UTC	67	4.46	GitHub Action Run
4	vorm (extra) (flint - no) - 16178745804.4	09 Jul 2025 07:48PM UTC	66	4.0	GitHub Action Run
5	tvorm (extra) - 16178745804.5	09 Jul 2025 07:49PM UTC	70	4.43	GitHub Action Run
6	vorm (extra) - 16178745804.6	09 Jul 2025 07:48PM UTC	69	3.97	GitHub Action Run
7	tvorm -w2 (default) (flint - no) - 16178745804.7	09 Jul 2025 07:48PM UTC	67	49.1	GitHub Action Run
8	vorm (default) - 16178745804.8	09 Jul 2025 07:48PM UTC	69	49.24	GitHub Action Run
9	tvorm -w2 (default) - 16178745804.9	09 Jul 2025 07:48PM UTC	70	49.52	GitHub Action Run
10	tvorm (default) (flint - no) - 16178745804.10	09 Jul 2025 07:49PM UTC	67	49.29	GitHub Action Run
11	vorm (default) (flint - no) - 16178745804.11	09 Jul 2025 07:48PM UTC	66	48.82	GitHub Action Run
12	tvorm (default) - 16178745804.12	09 Jul 2025 07:48PM UTC	70	49.7	GitHub Action Run