35374770339
87%

Ran 18 Sep 2026 05:45PM UTC

Jobs 1

Files 79

Run time 1min

Badge

Embed ▾

Committed 13 Sep 2026 04:38PM UTC coverage: 86.644% (+0.7%) from 85.986%

Build # 35374770339

Build Type

push

github

Committed by

elazarg

Commit Message

Bump github/codeql-action from 4.37.9 to 4.38.0

Bumps [github/codeql-action](https://github.com/github/codeql-action) from 4.37.9 to 4.38.0.
- [Release notes](https://github.com/github/codeql-action/releases)
- [Changelog](https://github.com/github/codeql-action/blob/main/CHANGELOG.md)
- [Commits](https://github.com/github/codeql-action/compare/v4.37.9...v4.38.0)

---
updated-dependencies:
- dependency-name: github/codeql-action
  dependency-version: 4.38.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>

Coverage Stats

9102 of 10505 relevant lines covered (86.64%)

3165273.81 hits per line

Coverage Regressions

Lines	Coverage	∆	File
115	63.55	7.61%	src/printing.cpp
32	94.74	0.0%	src/crab/finite_domain.cpp
11	91.24	0.0%	src/crab/ebpf_transformer.cpp
8	94.0	0.72%	src/fwd_analyzer.cpp

Jobs

ID	Job ID	Ran	Files	Coverage
1	35374770339.1	18 Sep 2026 05:45PM UTC	79	86.64	GitHub Action Run

Alan-Jowett / ebpf-verifier / 35374770339
87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 35374770339

Alan-Jowett / ebpf-verifier / 35374770339 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 35374770339

Alan-Jowett / ebpf-verifier / 35374770339
87%

README BADGES
x