Skip to content
This repository was archived by the owner on Apr 14, 2026. It is now read-only.

Add a thorough name conflict test#15

Merged
mromaszewicz merged 1 commit intomainfrom
name-conflict-test
Feb 12, 2026
Merged

Add a thorough name conflict test#15
mromaszewicz merged 1 commit intomainfrom
name-conflict-test

Conversation

@mromaszewicz
Copy link
Copy Markdown
Member

This tests whether name conflict resolution works properly

This tests whether name conflict resolution works properly
@mromaszewicz mromaszewicz merged commit e826fdb into main Feb 12, 2026
5 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant