Skip to content

CI: update macOS runner and deployment target#810

Merged
julianoes merged 1 commit intomainfrom
pr-update-macos-ci
Feb 2, 2026
Merged

CI: update macOS runner and deployment target#810
julianoes merged 1 commit intomainfrom
pr-update-macos-ci

Conversation

@julianoes
Copy link
Collaborator

No description provided.

@julianoes julianoes merged commit 8fd4754 into main Feb 2, 2026
9 checks passed
@julianoes julianoes deleted the pr-update-macos-ci branch February 2, 2026 01:41
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.

1 participant