Skip to content

Conversation

@mladedav
Copy link
Collaborator

This is practically empty release just to fix docs.rs build.

@mladedav
Copy link
Collaborator Author

The failures should be the same as #3501

First time I've seen this when creating a PR, I guess it's one of those days when everything breaks.
image

@jplatte
Copy link
Member

jplatte commented Sep 30, 2025

I'm surprised CI ran at all given there are merge conflicts. Instead of making a PR from the v0.8.x branch directly, can you make a new branch with a merge commit and open a PR for that? As in

git switch main
git switch -c mladedav/v0.8.6
git merge v0.8.x
# fix merge conflicts and commit

@mladedav
Copy link
Collaborator Author

Right. Sorry about that.

@mladedav mladedav closed this Sep 30, 2025
@jplatte jplatte deleted the v0.8.x branch September 30, 2025 12:50
@jplatte
Copy link
Member

jplatte commented Sep 30, 2025

No worries. It's not the most obvious workflow, but I like it because it ensures main always a full changelog.

@mladedav mladedav restored the v0.8.x branch October 20, 2025 10:12
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