Skip to content

Automatic cargo update to 2026-07-20#4661

Merged
tautschnig merged 1 commit into
mainfrom
cargo-update-2026-07-20
Jul 20, 2026
Merged

Automatic cargo update to 2026-07-20#4661
tautschnig merged 1 commit into
mainfrom
cargo-update-2026-07-20

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 July 20, 2026 04:45
@tautschnig
tautschnig enabled auto-merge July 20, 2026 06:41
@tautschnig tautschnig closed this Jul 20, 2026
auto-merge was automatically disabled July 20, 2026 21:10

Pull request was closed

@tautschnig tautschnig reopened this Jul 20, 2026
@tautschnig
tautschnig enabled auto-merge July 20, 2026 21:11
@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 Jul 20, 2026
@tautschnig
tautschnig added this pull request to the merge queue Jul 20, 2026
Merged via the queue into main with commit 1c9134a Jul 20, 2026
73 checks passed
@tautschnig
tautschnig deleted the cargo-update-2026-07-20 branch July 20, 2026 22:50
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