27941111450
63%

Ran 22 Jun 2026 09:28AM UTC

Jobs 12

Files 66

Run time 1min

Badge

Committed 22 Jun 2026 08:55AM UTC coverage: 63.087% (+0.2%) from 62.873%

Build Type

push

github

Committed by

Commit Message

doc(manual): refer to Sets section for sets

Coverage Stats

52235 of 82799 relevant lines covered (63.09%)

10541715.0 hits per line

ID	Job ID	Ran	Files	Coverage
1	tvorm (default) (flint - no) - 27941111450.1	22 Jun 2026 09:29AM UTC	63	58.4	GitHub Action Run
2	tvorm -w2 (default) (flint - no) - 27941111450.2	22 Jun 2026 09:29AM UTC	63	58.21	GitHub Action Run
3	vorm (extra) (flint - no) - 27941111450.3	22 Jun 2026 09:30AM UTC	62	38.41	GitHub Action Run
4	tvorm -w2 (extra) - 27941111450.4	22 Jun 2026 09:32AM UTC	66	36.28	GitHub Action Run
5	vorm (default) - 27941111450.5	22 Jun 2026 09:29AM UTC	65	58.33	GitHub Action Run
6	vorm (default) (flint - no) - 27941111450.6	22 Jun 2026 09:28AM UTC	62	58.03	GitHub Action Run
7	vorm (extra) - 27941111450.7	22 Jun 2026 09:28AM UTC	65	35.31	GitHub Action Run
8	tvorm -w2 (extra) (flint - no) - 27941111450.8	22 Jun 2026 09:31AM UTC	63	39.25	GitHub Action Run
9	tvorm (default) - 27941111450.9	22 Jun 2026 09:29AM UTC	66	58.7	GitHub Action Run
10	tvorm (extra) (flint - no) - 27941111450.10	22 Jun 2026 09:32AM UTC	63	39.49	GitHub Action Run
11	tvorm -w2 (default) - 27941111450.11	22 Jun 2026 09:29AM UTC	66	58.51	GitHub Action Run
12	tvorm (extra) - 27941111450.12	22 Jun 2026 09:31AM UTC	66	36.51	GitHub Action Run