21417457683
87%

Ran 27 Jan 2026 11:07PM UTC

Jobs 2

Files 74

Run time 1min

Badge

Embed ▾

Committed 27 Jan 2026 10:55PM UTC coverage: 86.792%. Remained the same

Build # 21417457683

Build Type

push

github

Committed by

web-flow

Commit Message

Add comprehensive documentation for Prevail eBPF verifier (#979)

Create docs/ directory with detailed documentation covering:
- README.md: Overview and quick links
- architecture.md: High-level system architecture
- abstract-interpretation.md: Core verification approach
- abstract-domains.md: Crab domain hierarchy
- instruction-semantics.md: eBPF instruction modeling
- cfg.md: Control flow graph and WTO
- memory-model.md: Stack, packet, context handling
- type-system.md: Type domains and verification
- building.md: Build instructions for all platforms
- testing.md: Test infrastructure guide
- glossary.md: Terminology definitions

---------

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

Run Details

9127 of 10516 relevant lines covered (86.79%)

3832945.35 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-Debug - 21417457683.1	27 Jan 2026 11:47PM UTC	74	84.45	GitHub Action Run
2	run-Release - 21417457683.2	27 Jan 2026 11:06PM UTC	73	85.92	GitHub Action Run

vbpf / prevail / 21417457683
87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 21417457683

vbpf / prevail / 21417457683 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 21417457683

vbpf / prevail / 21417457683
87%

README BADGES
x