Skip to content

Conversation

@LecrisUT
Copy link
Contributor

Closes #1085

@caspermeijn
Copy link
Contributor

I fixed CI on master. Could you please rebase this PR?

@LecrisUT
Copy link
Contributor Author

LecrisUT commented Jun 25, 2024

Not from the github gui (there's an option in the top-level settings page to enable it). Either tomorrow or if you want to force push a rebase

@caspermeijn caspermeijn added this pull request to the merge queue Jun 25, 2024
Merged via the queue into tokio-rs:master with commit 4a0cc17 Jun 25, 2024
@caspermeijn
Copy link
Contributor

It seems a rebase was not necessary for merging. Thanks for your contribution.

caspermeijn pushed a commit to caspermeijn/prost that referenced this pull request Jun 25, 2024
@LecrisUT
Copy link
Contributor Author

I should figure out how to get merge-queue. Looks really handy

@LecrisUT LecrisUT deleted the fix-1085 branch June 25, 2024 18:48
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.

Package license files in crates.io

2 participants