Skip to content

Fix level-name changes causing mismatched name and key identities - #3515

Merged
benwoo1110 merged 2 commits into
mainfrom
fix/level-name-change
Aug 25, 2026
Merged

Fix level-name changes causing mismatched name and key identities#3515
benwoo1110 merged 2 commits into
mainfrom
fix/level-name-change

Conversation

@benwoo1110

@benwoo1110 benwoo1110 commented Aug 25, 2026

Copy link
Copy Markdown
Member

📦 Artifacts generated:

@benwoo1110
benwoo1110 merged commit 4de4e5a into main Aug 25, 2026
6 checks passed
@benwoo1110
benwoo1110 deleted the fix/level-name-change branch August 25, 2026 07:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant