Skip to content

Rename tag types according to P4154#94

Merged
dietmarkuehl merged 2 commits intobemanproject:mainfrom
m-fila:rename_tag_types
May 4, 2026
Merged

Rename tag types according to P4154#94
dietmarkuehl merged 2 commits intobemanproject:mainfrom
m-fila:rename_tag_types

Conversation

@m-fila
Copy link
Copy Markdown
Contributor

@m-fila m-fila commented May 4, 2026

fix the deprecation warnings due to bemanproject/execution#268

@coveralls
Copy link
Copy Markdown

Coverage Status

coverage: 94.059%. remained the same — m-fila:rename_tag_types into bemanproject:main

@dietmarkuehl dietmarkuehl merged commit 1679185 into bemanproject:main May 4, 2026
36 checks passed
@m-fila m-fila deleted the rename_tag_types branch May 4, 2026 22:43
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.

3 participants