36911818474
79%

Ran 01 Oct 2026 07:10PM UTC

Jobs 6

Files 145

Run time 1min

Badge

Embed ▾

Committed 01 Oct 2026 07:06PM UTC coverage: 78.594%. Remained the same

Build # 36911818474

Build Type

push

github

Committed by

web-flow

Commit Message

Avoid constraining unknown pointer-derived values (#819)

* Avoid constraining unknown pointer-derived values

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Preserve scalar constraint checks

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

---------

Co-authored-by: Alan Jowett <alan.jowett@microsoft.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Coverage Stats

8041 of 10231 relevant lines covered (78.59%)

1238738.07 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-RelWithDebInfo-ubuntu-latest-x86_64 - 36911818474.1	01 Oct 2026 07:12PM UTC	76	75.42	GitHub Action Run
2	run-RelWithDebInfo-macos-latest-x86_64 - 36911818474.2	01 Oct 2026 07:18PM UTC	99	74.13	GitHub Action Run
3	run-RelWithDebInfo-ubuntu-24.04-arm-arm64 - 36911818474.3	01 Oct 2026 07:14PM UTC	77	62.43	GitHub Action Run
4	run-Debug-ubuntu-latest-x86_64 - 36911818474.4	01 Oct 2026 07:09PM UTC	76	75.43	GitHub Action Run
5	run-Debug-ubuntu-24.04-arm-arm64 - 36911818474.5	01 Oct 2026 07:13PM UTC	77	62.41	GitHub Action Run
6	run-Debug-macos-latest-x86_64 - 36911818474.6	01 Oct 2026 07:11PM UTC	99	74.21	GitHub Action Run

iovisor / ubpf / 36911818474
79%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 36911818474

iovisor / ubpf / 36911818474 79%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 36911818474

iovisor / ubpf / 36911818474
79%

README BADGES
x