Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Automatic cargo update to 2024-07-01 #3310

Merged
merged 1 commit into from
Jul 1, 2024
Merged

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Jul 1, 2024

Dependency upgrade resulting from cargo update.

@github-actions github-actions bot requested a review from a team as a code owner July 1, 2024 03:36
@tautschnig tautschnig closed this Jul 1, 2024
@tautschnig tautschnig reopened this Jul 1, 2024
@github-actions github-actions bot added the Z-BenchCI Tag a PR to run benchmark CI label Jul 1, 2024
@adpaco-aws adpaco-aws merged commit 0994887 into main Jul 1, 2024
27 checks passed
@adpaco-aws adpaco-aws deleted the cargo-update-2024-07-01 branch July 1, 2024 15:32
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Z-BenchCI Tag a PR to run benchmark CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants