Skip to content

Add automatic labeling#66

Merged
pavelzw merged 3 commits intomainfrom
labels
May 12, 2023
Merged

Add automatic labeling#66
pavelzw merged 3 commits intomainfrom
labels

Conversation

@pavelzw
Copy link
Member

@pavelzw pavelzw commented May 12, 2023

No description provided.

@github-actions github-actions bot added the ci label May 12, 2023
@pavelzw pavelzw removed the ci label May 12, 2023
@github-actions github-actions bot added the ci label May 12, 2023
@pavelzw pavelzw added this pull request to the merge queue May 12, 2023
Merged via the queue into main with commit 9299eec May 12, 2023
@pavelzw pavelzw deleted the labels branch May 12, 2023 08:49
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.

1 participant