Skip to content

re-targeting of remove-windows-ci against release-v8.0 #8406

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Nov 12, 2025
Merged

re-targeting of remove-windows-ci against release-v8.0 #8406

merged 1 commit into from
Nov 12, 2025
+1 −71

Conversation

@antondlr
Copy link
Member

@antondlr antondlr commented Nov 12, 2025

this is a re-targeting of #8362

@michaelsproul michaelsproul added the v8.0.1 Cheeky patch release for Fulu label Nov 12, 2025
jimmygchen
jimmygchen approved these changes Nov 12, 2025
View reviewed changes
Copy link
Member

@jimmygchen jimmygchen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks

@jimmygchen jimmygchen added the ready-for-merge This PR is ready to merge. label Nov 12, 2025
@mergify mergify bot added the queued label Nov 12, 2025
mergify bot added a commit that referenced this pull request Nov 12, 2025
@mergify
Merge of #8406
71f20ac
@mergify mergify bot mentioned this pull request Nov 12, 2025
Closed
6 tasks
@mergify mergify bot merged commit 47b984e into sigp:release-v8.0 Nov 12, 2025
36 checks passed
@mergify mergify bot removed the queued label Nov 12, 2025
@jimmygchen jimmygchen mentioned this pull request Nov 14, 2025
Merged
mergify bot pushed a commit that referenced this pull request Nov 20, 2025
@jimmygchen
Release v8.0.1 (#8414)
ced49dd 
This hot fix release includes the following fixes:
* #8388
* #8406
* #8391
* #8413


  


Co-Authored-By: Jimmy Chen <jchen.tc@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@jimmygchen jimmygchen jimmygchen approved these changes

Assignees

No one assigned

Labels

ready-for-merge This PR is ready to merge. v8.0.1 Cheeky patch release for Fulu

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@antondlr @jimmygchen @michaelsproul