Skip to content

Update rust deps - #225

Merged
rmburg merged 1 commit into
mainfrom
update-rust-deps
Aug 23, 2026
Merged

Update rust deps#225
rmburg merged 1 commit into
mainfrom
update-rust-deps

Conversation

@rmburg

@rmburg rmburg commented Aug 23, 2026

Copy link
Copy Markdown
Member

No description provided.

@rmburg rmburg added the dependencies Pull requests that update a dependency file label Aug 23, 2026
@rmburg rmburg moved this from Todo to In Progress in Development Aug 23, 2026
@rmburg
rmburg enabled auto-merge (rebase) August 23, 2026 13:07
@rmburg
rmburg merged commit d818248 into main Aug 23, 2026
1 check passed
@rmburg
rmburg deleted the update-rust-deps branch August 23, 2026 13:13
@github-project-automation github-project-automation Bot moved this from In Progress to Done in Development Aug 23, 2026
@rmburg rmburg changed the title update rust deps Update rust deps Aug 23, 2026
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

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant