Skip to content

Conversation

glehmann
Copy link
Member

No description provided.

@glehmann glehmann requested review from ydirson, psafont and Nambrok July 25, 2025 07:33
@github-advanced-security
Copy link

This pull request sets up GitHub code scanning for this repository. Once the scans have completed and the checks have passed, the analysis results for this pull request branch will appear on this overview. Once you merge this pull request, the 'Security' tab will show more code scanning analysis results (for example, for the default branch). Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results. For more information about GitHub code scanning, check out the documentation.

1 similar comment
@github-advanced-security
Copy link

This pull request sets up GitHub code scanning for this repository. Once the scans have completed and the checks have passed, the analysis results for this pull request branch will appear on this overview. Once you merge this pull request, the 'Security' tab will show more code scanning analysis results (for example, for the default branch). Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results. For more information about GitHub code scanning, check out the documentation.

@glehmann glehmann force-pushed the gln/config-import-enhancements-wwmm branch from da294e4 to eed82a6 Compare July 25, 2025 14:50
Remove redudant job names

Names are useful when they describe what is done in a more concise way than
the code.

Remove sarif support: it's too permissive in the github webui: it is
made to be able to configure some warning or errors to ignore.

Signed-off-by: Gaëtan Lehmann <[email protected]>
@glehmann glehmann force-pushed the gln/config-import-enhancements-wwmm branch from 64159d4 to 26db764 Compare September 10, 2025 14:07
@glehmann
Copy link
Member Author

@ydirson could you have a look at this PR?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants