17340674064
54%
master: 53%

Ran 30 Aug 2025 06:56AM UTC

Jobs 12

Files 75

Run time 1min

Badge

Committed 30 Aug 2025 06:48AM UTC coverage: 53.483%. Remained the same

Build Type

push

github

Committed by

Commit Message

fixup! ci(refactor): extract setup logic into setup-build

Remove "make check" for FLINT because it is slow.

Run Details

44502 of 83207 relevant lines covered (53.48%)

2235361.77 hits per line

Lines	Coverage	∆	File
2	77.6	-0.08%	sources/threads.c

ID	Job ID	Ran	Files	Coverage
1	vorm (default) (flint - no) - 17340674064.1	30 Aug 2025 07:02AM UTC	66	49.61	GitHub Action Run
2	tvorm -w2 (default) (flint - no) - 17340674064.2	30 Aug 2025 06:57AM UTC	67	49.99	GitHub Action Run
3	tvorm -w2 (extra) (flint - no) - 17340674064.3	30 Aug 2025 06:56AM UTC	67	22.0	GitHub Action Run
4	vorm (extra) (flint - no) - 17340674064.4	30 Aug 2025 06:56AM UTC	66	21.17	GitHub Action Run
5	tvorm (extra) - 17340674064.5	30 Aug 2025 06:56AM UTC	75	21.89	GitHub Action Run
6	tvorm (extra) (flint - no) - 17340674064.6	30 Aug 2025 06:56AM UTC	67	22.2	GitHub Action Run
7	vorm (extra) - 17340674064.7	30 Aug 2025 07:00AM UTC	74	20.85	GitHub Action Run
8	vorm (default) - 17340674064.8	30 Aug 2025 06:57AM UTC	74	50.05	GitHub Action Run
9	tvorm -w2 (default) - 17340674064.9	30 Aug 2025 06:57AM UTC	75	50.4	GitHub Action Run
10	tvorm -w2 (extra) - 17340674064.10	30 Aug 2025 07:00AM UTC	75	21.72	GitHub Action Run
11	tvorm (default) (flint - no) - 17340674064.11	30 Aug 2025 07:01AM UTC	67	50.16	GitHub Action Run
12	tvorm (default) - 17340674064.12	30 Aug 2025 07:01AM UTC	75	50.6	GitHub Action Run