Skip to content

Conversation

@RalfJung
Copy link
Member

No description provided.

@RalfJung RalfJung force-pushed the ci branch 2 times, most recently from 095649f to 3809ea9 Compare June 21, 2024 15:10
@RalfJung RalfJung mentioned this pull request Jun 21, 2024
@oli-obk
Copy link
Contributor

oli-obk commented Jun 21, 2024

Oh that failure was a caching issue, that makes sense

@bors r+

@bors
Copy link
Contributor

bors commented Jun 21, 2024

📌 Commit 4d9ce31 has been approved by oli-obk

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jun 21, 2024

⌛ Testing commit 4d9ce31 with merge 83ba944...

@bors
Copy link
Contributor

bors commented Jun 21, 2024

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing 83ba944 to master...

@bors bors merged commit 83ba944 into rust-lang:master Jun 21, 2024
@RalfJung RalfJung deleted the ci branch June 22, 2024 13:03
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.

3 participants