26745437437
86%

Ran 01 Jun 2026 09:11AM UTC

Jobs 2

Files 79

Run time 1min

Badge

Embed ▾

Committed 01 Jun 2026 09:02AM UTC coverage: 86.371%. Remained the same

Build # 26745437437

Build Type

push

github

Committed by

elazarg

Commit Message

Release v0.2.4

Bump project version and add CHANGELOG entry covering 3 soundness fixes
since v0.2.3: reject writes to read-only context pointer fields, havoc
offsets on non-singleton-typeset pointer add/sub, and forget truncated
ALU32 pointer-arithmetic results. Also brings the using_installed_package
example version requirement up to date.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

Coverage Stats

8999 of 10419 relevant lines covered (86.37%)

6413345.13 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-Debug - 26745437437.1	01 Jun 2026 10:10AM UTC	79	84.62	GitHub Action Run
2	run-Release - 26745437437.2	01 Jun 2026 09:11AM UTC	79	85.49	GitHub Action Run

vbpf / prevail / 26745437437
86%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26745437437

vbpf / prevail / 26745437437 86%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26745437437

vbpf / prevail / 26745437437
86%

README BADGES
x