Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Benchmark tags display bugfix #544

Merged
merged 1 commit into from
Apr 12, 2023
Merged

Conversation

varsill
Copy link
Contributor

@varsill varsill commented Apr 12, 2023

No description provided.

@varsill varsill requested a review from mat-hek as a code owner April 12, 2023 10:19
@varsill varsill added the no-changelog This label has to be added if changes from the PR are not meant to be placed in the CHANGELOG.md label Apr 12, 2023
@varsill varsill merged commit 0e581fb into master Apr 12, 2023
@varsill varsill deleted the bugfix/benchmark_tag_display branch April 12, 2023 11:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-changelog This label has to be added if changes from the PR are not meant to be placed in the CHANGELOG.md
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants