1
65%
master: 65%

Ran 07 May 2026 02:32AM UTC

Files 317

Run time 6s

Badge

Committed 06 May 2026 09:21AM UTC coverage: 65.405% (-0.09%) from 65.492%

Build Type

push

github

Committed by

Commit Message

Merge pull request #2002 from goblint/patricia-tree

Use Codex patricia-tree library for base map domain

Coverage Stats

22683 of 34681 relevant lines covered (65.4%)

399207.06 hits per line