Skip to content

Update verus#41

Open
renovate[bot] wants to merge 1 commit into
mainfrom
renovate/verus
Open

Update verus#41
renovate[bot] wants to merge 1 commit into
mainfrom
renovate/verus

Conversation

@renovate
Copy link
Copy Markdown
Contributor

@renovate renovate Bot commented May 24, 2026

This PR contains the following updates:

Package Type Update Change
verus-lang/verus patch release/0.2026.05.17.e479ccerelease/0.2026.05.24.ecee80a
vstd workspace.dependencies patch =0.0.0-2026-05-17-0151=0.0.0-2026-05-24-0157

Configuration

📅 Schedule: (UTC)

  • Branch creation
    • At any time (no schedule defined)
  • Automerge
    • At any time (no schedule defined)

🚦 Automerge: Enabled.

Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

👻 Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.


  • If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

@renovate renovate Bot force-pushed the renovate/verus branch from 20d8999 to cb9d8a4 Compare May 25, 2026 05:59
@renovate renovate Bot changed the title Update Rust crate vstd to v0.0.0-2026-05-24-0157 Update verus May 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants