Skip to content

bump dependencies#3789

Merged
bors merged 2 commits intorust-lang:masterfrom
RalfJung:deps
Aug 5, 2024
Merged

bump dependencies#3789
bors merged 2 commits intorust-lang:masterfrom
RalfJung:deps

Conversation

@RalfJung
Copy link
Copy Markdown
Member

@RalfJung RalfJung commented Aug 5, 2024

In particular pick up RalfJung/rustc-build-sysroot#22 to fix the fallout from rust-lang/rust#128534.

@RalfJung
Copy link
Copy Markdown
Member Author

RalfJung commented Aug 5, 2024

@bors r+

@bors
Copy link
Copy Markdown
Contributor

bors commented Aug 5, 2024

📌 Commit 9a35537 has been approved by RalfJung

It is now in the queue for this repository.

bors added a commit that referenced this pull request Aug 5, 2024
bump dependencies

In particular pick up RalfJung/rustc-build-sysroot#22 to fix the fallout from rust-lang/rust#128534.
@bors
Copy link
Copy Markdown
Contributor

bors commented Aug 5, 2024

⌛ Testing commit 9a35537 with merge 2543c98...

@bors
Copy link
Copy Markdown
Contributor

bors commented Aug 5, 2024

💔 Test failed - checks-actions

@RalfJung
Copy link
Copy Markdown
Member Author

RalfJung commented Aug 5, 2024

@bors r+

@bors
Copy link
Copy Markdown
Contributor

bors commented Aug 5, 2024

📌 Commit 6f24bf7 has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Copy Markdown
Contributor

bors commented Aug 5, 2024

⌛ Testing commit 6f24bf7 with merge 7e08769...

@bors
Copy link
Copy Markdown
Contributor

bors commented Aug 5, 2024

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 7e08769 to master...

@bors bors merged commit 7e08769 into rust-lang:master Aug 5, 2024
@RalfJung RalfJung deleted the deps branch August 5, 2024 18:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants