Skip to content

Fix CI msvc runners#1440

Merged
vissarion merged 1 commit intoboostorg:developfrom
vissarion:fix_CI
Dec 10, 2025
Merged

Fix CI msvc runners#1440
vissarion merged 1 commit intoboostorg:developfrom
vissarion:fix_CI

Conversation

@vissarion
Copy link
Member

This PR fixes CI for github actions especially the msvc runners

Copy link
Collaborator

@barendgehrels barendgehrels left a comment

Choose a reason for hiding this comment

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

👍

@vissarion vissarion merged commit 096943f into boostorg:develop Dec 10, 2025
17 checks passed
@vissarion vissarion deleted the fix_CI branch December 10, 2025 09:24
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.

2 participants