5153
67%
master: 67%

Ran 23 Oct 2026 09:08AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 23 Oct 2026 09:01AM UTC coverage: 66.623%. First build

Build # 5153

Build Type

github

Committed by

Commit Message

Merge 7a9d56887 into c08783669

Coverage Stats

8 of 9 new or added lines in 1 file covered. (88.89%)

23528 of 35315 relevant lines covered (66.62%)

394707.85 hits per line

Lines	Coverage	∆	File
1	85.0		src/analyses/poisonVariables.ml

ID	Job ID	Ran	Files	Coverage
1	5153.1	23 Oct 2026 09:08AM UTC	329	66.62	GitHub Action Run