Skip to content
New issue

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

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

Already on GitHub? # to your account

Use any-glob for labeler. Otherwise it is not checked recursively. #2450

Merged
merged 1 commit into from
Aug 19, 2024

Conversation

Rot127
Copy link
Collaborator

@Rot127 Rot127 commented Aug 19, 2024

Your checklist for this pull request

  • I've documented or updated the documentation of every API function and struct this PR changes.
  • I've added tests that prove my fix is effective or that my feature works (if possible)

Detailed description

The files were not checked recursively and labels were not assigned properly.

Test plan

Rot127#2
(See assigned label)

Closing issues

...

@github-actions github-actions bot added the Github-files Github related files label Aug 19, 2024
@kabeor kabeor merged commit df72286 into capstone-engine:next Aug 19, 2024
19 checks passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Github-files Github related files
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants