Skip to content

Fix PR labeler #260

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.

Sign up for GitHub

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

Jump to bottom
Merged
sovrasov merged 1 commit into from
Jan 23, 2025
Merged

Fix PR labeler #260

sovrasov merged 1 commit into from
Jan 23, 2025

Conversation

@sovrasov
Copy link
Member

@sovrasov sovrasov commented Jan 22, 2025

What does this PR do?

Fixes # (issue)

Before submitting

  • This PR fixes a typo or improves the docs (you can dismiss the other checks if that's the case).
  • Did you make sure to update the documentation with your changes?
  • Did you write any new necessary tests?

@sovrasov sovrasov marked this pull request as ready for review January 22, 2025 15:50
@github-actions github-actions bot added the build Related to build scripts label Jan 22, 2025
@sovrasov sovrasov added this pull request to the merge queue Jan 23, 2025
Merged via the queue into master with commit 4d4bf20 Jan 23, 2025
18 checks passed
@sovrasov sovrasov deleted the vs/fix_labeler branch January 23, 2025 11:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@ashwinvaidya17 ashwinvaidya17 ashwinvaidya17 approved these changes

Assignees

No one assigned

Labels

build Related to build scripts

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@sovrasov @ashwinvaidya17