Skip to content

Conversation

@XhmikosR
Copy link
Member

@XhmikosR XhmikosR commented Nov 12, 2022

It probably makes sense since these are build files.

That being said, it might also make sense to add CodeQL to popper.js if they don't have it already. If someone could make an upstream PR that would be perfect :)

@XhmikosR XhmikosR marked this pull request as ready for review November 12, 2022 12:59
@@ -0,0 +1,3 @@
name: "CodeQL config"
paths-ignore:
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

is it ok for now to keep this options inside the same job?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What do you mean? If you mean not a separate file, I don't think that's possible.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah, that link shows that it's not possible to exclude files/folders without a config file.

@XhmikosR XhmikosR merged commit 9aff4cd into main Nov 14, 2022
@XhmikosR XhmikosR deleted the xmr/codeql branch November 14, 2022 16:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

No open projects
Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants