Skip to content

Conversation

@alex
Copy link
Contributor

@alex alex commented May 24, 2023

No description provided.

@adamreichold adamreichold added the CI-skip-changelog Skip checking changelog entry label May 24, 2023
@adamreichold
Copy link
Member

@alex Thanks for doing the chores! Could you squash the commits though? (We have not configured bors to do this as we mostly want to keep the commit history.)

@adamreichold
Copy link
Member

While we are here, could you bump bindgen to 0.65.1 as well?

@alex
Copy link
Contributor Author

alex commented May 24, 2023

I originally did a bindgen bump, but it broke the MSRV build.

@adamreichold
Copy link
Member

I originally did a bindgen bump, but it broke the MSRV build.

Ah sorry, I did not try that locally. Then let's bump what we can. Thanks again.

bors r+

@bors
Copy link
Contributor

bors bot commented May 24, 2023

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot merged commit d71af73 into PyO3:main May 24, 2023
@alex alex deleted the patch-1 branch May 24, 2023 14:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI-skip-changelog Skip checking changelog entry

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants