15735311718
53%

Ran 18 Jun 2025 02:15PM UTC

Jobs 12

Files 70

Run time 1min

Badge

Committed 18 Jun 2025 02:14PM UTC coverage: 50.552% (+0.08%) from 50.469%

Build Type

push

github

Committed by

Commit Message

fix: formatting of FactArg MINVECTOR w.r.t OldFactArg

Run Details

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

41945 of 82974 relevant lines covered (50.55%)

2639117.45 hits per line

ID	Job ID	Ran	Files	Coverage
1	tvorm (extra) - 15735311718.1	18 Jun 2025 02:16PM UTC	70	4.43	GitHub Action Run
2	tvorm (extra) (flint - no) - 15735311718.2	18 Jun 2025 02:15PM UTC	67	4.46	GitHub Action Run
3	tvorm -w2 (extra) (flint - no) - 15735311718.3	18 Jun 2025 02:21PM UTC	67	4.33	GitHub Action Run
4	tvorm -w2 (extra) - 15735311718.4	18 Jun 2025 02:15PM UTC	70	4.3	GitHub Action Run
5	vorm (extra) (flint - no) - 15735311718.5	18 Jun 2025 02:15PM UTC	66	4.0	GitHub Action Run
6	vorm (extra) - 15735311718.6	18 Jun 2025 02:15PM UTC	69	3.97	GitHub Action Run
7	tvorm -w2 (default) (flint - no) - 15735311718.7	18 Jun 2025 02:18PM UTC	67	48.79	GitHub Action Run
8	tvorm (default) - 15735311718.8	18 Jun 2025 02:18PM UTC	70	49.39	GitHub Action Run
9	tvorm -w2 (default) - 15735311718.9	18 Jun 2025 02:15PM UTC	70	49.19	GitHub Action Run
10	tvorm (default) (flint - no) - 15735311718.10	18 Jun 2025 02:16PM UTC	67	49.0	GitHub Action Run
11	vorm (default) (flint - no) - 15735311718.11	18 Jun 2025 02:15PM UTC	66	48.52	GitHub Action Run
12	vorm (default) - 15735311718.12	18 Jun 2025 02:15PM UTC	69	48.94	GitHub Action Run