Skip to content

Runs specs on PRs#2

Merged
dzucconi merged 1 commit intomainfrom
workflow
Mar 25, 2026
Merged

Runs specs on PRs#2
dzucconi merged 1 commit intomainfrom
workflow

Conversation

@dzucconi
Copy link
Copy Markdown
Member

No description provided.

@dzucconi dzucconi merged commit 7ce8cae into main Mar 25, 2026
1 check 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.

1 participant