Skip to content

Automatic cargo update to 2026-05-18#4598

Closed
github-actions[bot] wants to merge 1 commit into
mainfrom
cargo-update-2026-05-18
Closed

Automatic cargo update to 2026-05-18#4598
github-actions[bot] wants to merge 1 commit into
mainfrom
cargo-update-2026-05-18

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Dependency upgrade resulting from cargo update.

@github-actions
github-actions Bot requested a review from a team as a code owner May 18, 2026 04:56
@tautschnig tautschnig closed this May 18, 2026
@tautschnig tautschnig reopened this May 18, 2026
@github-actions github-actions Bot added Z-EndToEndBenchCI Tag a PR to run benchmark CI Z-CompilerBenchCI Tag a PR to run benchmark CI labels May 18, 2026
@tautschnig

Copy link
Copy Markdown
Member

Superseded by later updates.

@tautschnig tautschnig closed this Jul 8, 2026
@tautschnig
tautschnig deleted the cargo-update-2026-05-18 branch July 8, 2026 20:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Z-CompilerBenchCI Tag a PR to run benchmark CI Z-EndToEndBenchCI Tag a PR to run benchmark CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant