Skip to content

Conversation

@dependabot
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Nov 8, 2025

Bumps external/ebpf-verifier from 1d1d246 to e005759.

Commits
  • e005759 Implement checks for the --line-info flag and move program selection into rea...
  • 5b82af5 Improve how the CFG is returned and how the loop counters are inserted in fro...
  • aacd752 Optimize assertion creation (#944)
  • 5085fb9 Bump external/libbtf from b674148 to 04281ee
  • bf91169 Bump ebpf-samples from aff94d9 to 65b12c6
  • 3144f89 Updating StringInvariant to use moves vs copies - and updating callsites (#942)
  • 7deba02 Optimizations and improved FiniteNumber handling (#937)
  • ef861aa Bump CLI11 to v2.6.1
  • 2a99480 Consolidate verification logic, fail-fast printing (#932)
  • e0b7058 organize folder structure: spec/ and ir/
  • Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `1d1d246` to `e005759`.
- [Release notes](https://github.com/vbpf/ebpf-verifier/releases)
- [Commits](vbpf/prevail@1d1d246...e005759)

---
updated-dependencies:
- dependency-name: external/ebpf-verifier
  dependency-version: e0057596b8d517d28e1f57662aae183cd4e8d718
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot bot added dependencies Pull requests that update a dependency file submodules Pull requests that update Submodules code labels Nov 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file submodules Pull requests that update Submodules code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant