21426066209
78%

Ran 28 Jan 2026 05:19AM UTC

Jobs 6

Files 130

Run time 1min

Badge

Embed ▾

Committed 28 Jan 2026 05:16AM UTC coverage: 77.896% (-0.04%) from 77.935%

Build # 21426066209

Build Type

push

github

Committed by

web-flow

Commit Message

Document context pointer requirements for PREVAIL-verified programs (#731)

* Add documentation for context pointer requirements with verified programs

Co-authored-by: Alan-Jowett <20480683+Alan-Jowett@users.noreply.github.com>

* Address code review feedback in documentation

Co-authored-by: Alan-Jowett <20480683+Alan-Jowett@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: Alan-Jowett <20480683+Alan-Jowett@users.noreply.github.com>

Run Details

0 of 4 new or added lines in 1 file covered. (0.0%)

6213 of 7976 relevant lines covered (77.9%)

543772.42 hits per line

New Missed Lines in Diff

Lines	Coverage	∆	File
4	45.99	-0.79%	vm/test.c

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-Debug-macos-latest-x86_64 - 21426066209.1	28 Jan 2026 05:22AM UTC	84	74.97	GitHub Action Run
2	run-Debug-ubuntu-latest-x86_64 - 21426066209.2	28 Jan 2026 05:24AM UTC	68	74.02	GitHub Action Run
3	run-Debug-ubuntu-24.04-arm-arm64 - 21426066209.3	28 Jan 2026 05:21AM UTC	69	57.69	GitHub Action Run
4	run-RelWithDebInfo-macos-latest-x86_64 - 21426066209.4	28 Jan 2026 05:19AM UTC	84	74.83	GitHub Action Run
5	run-RelWithDebInfo-ubuntu-24.04-arm-arm64 - 21426066209.5	28 Jan 2026 05:23AM UTC	69	57.7	GitHub Action Run
6	run-RelWithDebInfo-ubuntu-latest-x86_64 - 21426066209.6	28 Jan 2026 05:22AM UTC	68	74.01	GitHub Action Run

iovisor / ubpf / 21426066209
78%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 21426066209

iovisor / ubpf / 21426066209 78%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 21426066209

iovisor / ubpf / 21426066209
78%

README BADGES
x