Skip to content

Conversation

@arm4b
Copy link
Member

@arm4b arm4b commented Nov 23, 2023

@arm4b arm4b added the bug label Nov 23, 2023
@arm4b arm4b requested a review from a team November 23, 2023 12:09
@arm4b arm4b enabled auto-merge November 23, 2023 13:38
@arm4b arm4b merged commit 6e09e8e into master Nov 23, 2023
@arm4b arm4b deleted the fix/ci branch November 23, 2023 16:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants