21351994405
58%

Ran 26 Jan 2026 09:08AM UTC

Jobs 12

Files 65

Run time 1min

Badge

Committed 26 Jan 2026 09:05AM UTC coverage: 58.043% (+0.03%) from 58.014%

Build Type

push

github

Committed by

Commit Message

fix(grcc): do not allow repeated vectors in sets for diagrams_

Run Details

21 of 21 new or added lines in 1 file covered. (100.0%)

1590 existing lines in 3 files now uncovered.

47951 of 82613 relevant lines covered (58.04%)

5452479.04 hits per line

Lines	Coverage	∆	File
16	49.32	2.94%	sources/diawrap.cc
726	57.86	-0.01%	sources/grcc.cc
848	43.95	0.0%	sources/compcomm.c

ID	Job ID	Ran	Files	Coverage
1	vorm (extra) - 21351994405.1	26 Jan 2026 09:08AM UTC	64	28.12	GitHub Action Run
2	vorm (default) - 21351994405.2	26 Jan 2026 09:09AM UTC	64	53.71	GitHub Action Run
3	tvorm (extra) (flint - no) - 21351994405.3	26 Jan 2026 09:09AM UTC	62	30.78	GitHub Action Run
4	tvorm -w2 (default) - 21351994405.4	26 Jan 2026 09:08AM UTC	65	53.94	GitHub Action Run
5	tvorm (extra) - 21351994405.5	26 Jan 2026 09:09AM UTC	65	29.23	GitHub Action Run
6	vorm (default) (flint - no) - 21351994405.6	26 Jan 2026 09:08AM UTC	61	53.34	GitHub Action Run
7	tvorm -w2 (default) (flint - no) - 21351994405.7	26 Jan 2026 09:09AM UTC	62	53.56	GitHub Action Run
8	tvorm -w2 (extra) - 21351994405.8	26 Jan 2026 09:09AM UTC	65	29.04	GitHub Action Run
9	tvorm (default) (flint - no) - 21351994405.9	26 Jan 2026 09:09AM UTC	62	53.75	GitHub Action Run
10	tvorm (default) - 21351994405.10	26 Jan 2026 09:09AM UTC	65	54.13	GitHub Action Run
11	vorm (extra) (flint - no) - 21351994405.11	26 Jan 2026 09:08AM UTC	61	29.72	GitHub Action Run
12	tvorm -w2 (extra) (flint - no) - 21351994405.12	26 Jan 2026 09:09AM UTC	62	30.57	GitHub Action Run