27941151574
63%

Ran 22 Jun 2026 09:50AM UTC

Jobs 12

Files 66

Run time 1min

Badge

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

Build Type

push

github

Committed by

Commit Message

test: add test option #require flint? for the test suite.

Coverage Stats

52300 of 82800 relevant lines covered (63.16%)

10527245.64 hits per line

ID	Job ID	Ran	Files	Coverage
1	tvorm (extra) - 27941151574.1	22 Jun 2026 09:52AM UTC	66	36.57	GitHub Action Run
2	tvorm -w2 (default) (flint - no) - 27941151574.2	22 Jun 2026 09:54AM UTC	63	58.28	GitHub Action Run
3	vorm (default) - 27941151574.3	22 Jun 2026 09:53AM UTC	65	58.4	GitHub Action Run
4	tvorm (default) - 27941151574.4	22 Jun 2026 09:50AM UTC	66	58.77	GitHub Action Run
5	tvorm -w2 (extra) (flint - no) - 27941151574.5	22 Jun 2026 09:54AM UTC	63	39.32	GitHub Action Run
6	tvorm (extra) (flint - no) - 27941151574.6	22 Jun 2026 09:54AM UTC	63	39.55	GitHub Action Run
7	tvorm (default) (flint - no) - 27941151574.7	22 Jun 2026 09:52AM UTC	63	58.47	GitHub Action Run
8	vorm (extra) (flint - no) - 27941151574.8	22 Jun 2026 09:51AM UTC	62	38.48	GitHub Action Run
9	vorm (default) (flint - no) - 27941151574.9	22 Jun 2026 09:51AM UTC	62	58.1	GitHub Action Run
10	tvorm -w2 (default) - 27941151574.10	22 Jun 2026 09:52AM UTC	66	58.57	GitHub Action Run
11	tvorm -w2 (extra) - 27941151574.11	22 Jun 2026 09:52AM UTC	66	36.34	GitHub Action Run
12	vorm (extra) - 27941151574.12	22 Jun 2026 09:52AM UTC	65	35.38	GitHub Action Run