Skip to content

Automatic cargo update to 2024-09-16 - #3515

Merged
tautschnig merged 1 commit into
mainfrom
cargo-update-2024-09-16
Sep 16, 2024
Merged

Automatic cargo update to 2024-09-16#3515
tautschnig merged 1 commit into
mainfrom
cargo-update-2024-09-16

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Dependency upgrade resulting from cargo update.

@github-actions
github-actionsBot requested a review from a team as a code ownerSeptember 16, 2024 03:39
@tautschnigtautschnig reopened this Sep 16, 2024
@github-actionsgithub-actionsBot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Sep 16, 2024
@tautschnig
tautschnig added this pull request to the merge queueSep 16, 2024
Merged via the queue into main with commit 31e1679Sep 16, 2024
@tautschnig
tautschnig deleted the cargo-update-2024-09-16 branch September 16, 2024 11:41
@celinvalcelinval mentioned this pull request Oct 8, 2024
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Z-EndToEndBenchCITag a PR to run benchmark CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

@tautschnig