33588507126
66%
master: 66%

Ran 02 Sep 2026 03:55AM UTC

Jobs 12

Files 64

Run time 1min

Badge

Committed 02 Sep 2026 03:49AM UTC coverage: 65.034%. Remained the same

Build Type

push

github

Committed by

Commit Message

docs: clarify how manual examples should be marked

Coverage Stats

52604 of 80887 relevant lines covered (65.03%)

10885959.79 hits per line

ID	Job ID	Ran	Files	Coverage
1	tvorm -w2 (extra) (flint - no) - 33588507126.1	02 Sep 2026 03:58AM UTC	61	40.24	GitHub Action Run
2	vorm (default) - 33588507126.2	02 Sep 2026 03:56AM UTC	63	60.28	GitHub Action Run
3	tvorm (default) (flint - no) - 33588507126.3	02 Sep 2026 03:56AM UTC	61	60.28	GitHub Action Run
4	tvorm (default) - 33588507126.4	02 Sep 2026 03:57AM UTC	64	60.62	GitHub Action Run
5	vorm (default) (flint - no) - 33588507126.5	02 Sep 2026 03:56AM UTC	60	59.93	GitHub Action Run
6	vorm (extra) (flint - no) - 33588507126.6	02 Sep 2026 03:57AM UTC	60	39.34	GitHub Action Run
7	tvorm -w2 (default) - 33588507126.7	02 Sep 2026 03:57AM UTC	64	60.38	GitHub Action Run
8	tvorm -w2 (default) (flint - no) - 33588507126.8	02 Sep 2026 03:57AM UTC	61	60.06	GitHub Action Run
9	tvorm (extra) - 33588507126.9	02 Sep 2026 03:58AM UTC	64	37.46	GitHub Action Run
10	vorm (extra) - 33588507126.10	02 Sep 2026 03:55AM UTC	63	36.24	GitHub Action Run
11	tvorm (extra) (flint - no) - 33588507126.11	02 Sep 2026 03:57AM UTC	61	40.45	GitHub Action Run
12	tvorm -w2 (extra) - 33588507126.12	02 Sep 2026 03:58AM UTC	64	37.26	GitHub Action Run