-
-
Notifications
You must be signed in to change notification settings - Fork 1.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Bump versions #3676
Bump versions #3676
Conversation
Oh I think that checkbox is already checked? Also are you interested in automating the release more? If that's the case I think that's great! I can publish in the meantime, but I'm also happy to put a token on this repo's secrets to get published from workflows here. |
@alexcrichton yes, please do add the secret. I would also like to reduce it down to one step, so adding a secret is necessary. You can go ahead and publish this release. We can automate the next one |
Ok! I've added Otherwise I'll defer to y'all when to merge this, but when merged I'll tag this and publish it. |
There's one more version that still needs to be bumped, which is the 'Unreleased' heading in |
I bumped it manually this time but we should update the script to automate this |
Co-authored-by: Liam Murphy <liampm32@gmail.com>
I'm going to merge this for @alexcrichton to publish and tag. We can use the automated workflow from next release (I would love to fix it now but unfortunately I got ill...) |
Ok published and tagged 👍 |
This PR should be created automatically but I don't permissions to allow GitHub actions to do that. Right now, it fails with:
See logs
@alexcrichton can you allow actions to create PRs.
Please also publish this release
Fixes: #3530