Skip to content

Test for github push and pull request#18

Merged
JanosJiri merged 2 commits intomasterfrom
pull-request-testing
Apr 28, 2025
Merged

Test for github push and pull request#18
JanosJiri merged 2 commits intomasterfrom
pull-request-testing

Conversation

@JanosJiri
Copy link
Contributor

No description provided.

@JanosJiri JanosJiri linked an issue Apr 28, 2025 that may be closed by this pull request
@JanosJiri JanosJiri merged commit 9cbb576 into master Apr 28, 2025
1 check passed
@JanosJiri JanosJiri deleted the pull-request-testing branch April 28, 2025 12:03
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.

Automatic testing for pull requests

1 participant