Skip to content

Conversation

RalfJung
Copy link
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
Member Author

RalfJung commented Aug 5, 2024

@bors r+

@bors
Copy link
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
Contributor

bors commented Aug 5, 2024

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

@bors
Copy link
Contributor

bors commented Aug 5, 2024

💔 Test failed - checks-actions

@RalfJung
Copy link
Member Author

RalfJung commented Aug 5, 2024

@bors r+

@bors
Copy link
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
Contributor

bors commented Aug 5, 2024

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

@bors
Copy link
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
8 checks passed
@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