34228278518
66%
master: 66%

Ran 08 Sep 2026 12:53PM UTC

Jobs 12

Files 64

Run time 1min

Badge

Committed 08 Sep 2026 12:49PM UTC coverage: 65.735%. Remained the same

Build Type

push

github

Committed by

Commit Message

docs(agents): update doc/source-development.md

Coverage Stats

52597 of 80014 relevant lines covered (65.73%)

11018638.18 hits per line

ID	Job ID	Ran	Files	Coverage
1	tvorm -w2 (extra) - 34228278518.1	08 Sep 2026 12:55PM UTC	64	37.66	GitHub Action Run
2	tvorm (default) (flint - no) - 34228278518.2	08 Sep 2026 12:53PM UTC	61	60.93	GitHub Action Run
3	tvorm (extra) (flint - no) - 34228278518.3	08 Sep 2026 12:54PM UTC	61	40.89	GitHub Action Run
4	tvorm (extra) - 34228278518.4	08 Sep 2026 12:55PM UTC	64	37.87	GitHub Action Run
5	vorm (extra) (flint - no) - 34228278518.5	08 Sep 2026 12:54PM UTC	60	39.74	GitHub Action Run
6	vorm (default) - 34228278518.6	08 Sep 2026 12:53PM UTC	63	60.9	GitHub Action Run
7	tvorm -w2 (default) (flint - no) - 34228278518.7	08 Sep 2026 12:53PM UTC	61	60.72	GitHub Action Run
8	tvorm (default) - 34228278518.8	08 Sep 2026 12:53PM UTC	64	61.27	GitHub Action Run
9	vorm (extra) - 34228278518.9	08 Sep 2026 12:54PM UTC	63	36.6	GitHub Action Run
10	tvorm -w2 (default) - 34228278518.10	08 Sep 2026 12:53PM UTC	64	61.07	GitHub Action Run
11	tvorm -w2 (extra) (flint - no) - 34228278518.11	08 Sep 2026 12:55PM UTC	61	40.68	GitHub Action Run
12	vorm (default) (flint - no) - 34228278518.12	08 Sep 2026 12:53PM UTC	60	60.54	GitHub Action Run