Skip to content

actions#2

Merged
ondrej-kuhnel merged 1 commit intomainfrom
pr/tests
Jan 16, 2025
Merged

actions#2
ondrej-kuhnel merged 1 commit intomainfrom
pr/tests

Conversation

@ondrej-kuhnel
Copy link
Member

No description provided.

@ondrej-kuhnel ondrej-kuhnel merged commit 9c165d9 into main Jan 16, 2025
1 check passed
@ondrej-kuhnel ondrej-kuhnel deleted the pr/tests branch January 16, 2025 14:13
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