5149
67%
master: 67%

Ran 23 Oct 2026 08:40AM UTC

Jobs 1

Files 330

Run time 1min

Badge

Committed 23 Oct 2026 08:31AM UTC coverage: 66.631%. First build

Build # 5149

Build Type

github

Committed by

Commit Message

Merge 4d1d73ddc into c08783669

Coverage Stats

39 of 44 new or added lines in 2 files covered. (88.64%)

23538 of 35326 relevant lines covered (66.63%)

394630.19 hits per line

Lines	Coverage	∆	File
5	87.5		src/analyses/escapeUtil.ml

ID	Job ID	Ran	Files	Coverage
1	5149.1	23 Oct 2026 08:40AM UTC	330	66.63	GitHub Action Run