15582524268
50%

Ran 11 Jun 2025 10:55AM UTC

Jobs 12

Files 70

Run time 86min

Badge

Committed 10 Jun 2025 12:53PM UTC coverage: 50.39%. Remained the same

Build Type

push

github

Committed by

Commit Message

doc: Add On/Off flint; to the manual

Run Details

41793 of 82939 relevant lines covered (50.39%)

2638828.25 hits per line

ID	Job ID	Ran	Files	Coverage
1	tvorm (extra) - 15582524268.1	11 Jun 2025 10:56AM UTC	70	4.43	GitHub Action Run
2	vorm (extra) (flint - no) - 15582524268.2	11 Jun 2025 10:55AM UTC	66	4.0	GitHub Action Run
3	tvorm -w2 (extra) - 15582524268.3	11 Jun 2025 10:56AM UTC	70	4.3	GitHub Action Run
4	tvorm -w2 (extra) (flint - no) - 15582524268.4	11 Jun 2025 10:56AM UTC	67	4.33	GitHub Action Run
5	tvorm (extra) (flint - no) - 15582524268.5	11 Jun 2025 10:56AM UTC	67	4.46	GitHub Action Run
6	tvorm (default) - 15582524268.6	11 Jun 2025 10:56AM UTC	70	49.23	GitHub Action Run
7	tvorm -w2 (default) - 15582524268.7	11 Jun 2025 10:56AM UTC	70	49.03	GitHub Action Run
8	tvorm -w2 (default) (flint - no) - 15582524268.8	11 Jun 2025 10:56AM UTC	67	48.66	GitHub Action Run
9	tvorm (default) (flint - no) - 15582524268.9	11 Jun 2025 10:57AM UTC	67	48.83	GitHub Action Run
10	vorm (extra) - 15582524268.10	11 Jun 2025 10:56AM UTC	69	3.96	GitHub Action Run
11	vorm (default) - 15582524268.11	11 Jun 2025 10:56AM UTC	69	48.78	GitHub Action Run
12	vorm (default) (flint - no) - 15582524268.12	11 Jun 2025 10:56AM UTC	66	48.36	GitHub Action Run