Skip to content

Ci macos#27

Merged
antonioettorre merged 2 commits into
mainfrom
CI-macos
Apr 21, 2026
Merged

Ci macos#27
antonioettorre merged 2 commits into
mainfrom
CI-macos

Conversation

@antonioettorre
Copy link
Copy Markdown
Contributor

No description provided.

@antonioettorre antonioettorre requested a review from vot4anto April 21, 2026 07:54
@antonioettorre antonioettorre self-assigned this Apr 21, 2026
Copy link
Copy Markdown
Contributor

@vot4anto vot4anto left a comment

Choose a reason for hiding this comment

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

LGTM

@antonioettorre antonioettorre merged commit 4cd2872 into main Apr 21, 2026
4 of 9 checks passed
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