28841286591
100%
master: 100%

Ran 07 Jul 2026 04:22AM UTC

Jobs 3

Files 29

Run time 1min

Badge

Committed 07 Jul 2026 04:19AM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by

Commit Message

minProperties and maxProperties should be record only

Coverage Stats

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

1331 of 1331 relevant lines covered (100.0%)

42.2 hits per line

ID	Job ID	Ran	Files	Coverage
1	28841286591.1	07 Jul 2026 04:21AM UTC	29	100.0	GitHub Action Run
2	28841286591.2	07 Jul 2026 04:21AM UTC	29	100.0	GitHub Action Run
3	28841286591.3	07 Jul 2026 04:21AM UTC	29	100.0	GitHub Action Run