Skip to content

Setup zizmor and fix existing issues.#9125

Merged
bmarty merged 1 commit intodevelopfrom
feature/bma/zizmor
Mar 6, 2026
Merged

Setup zizmor and fix existing issues.#9125
bmarty merged 1 commit intodevelopfrom
feature/bma/zizmor

Conversation

@bmarty
Copy link
Member

@bmarty bmarty commented Mar 5, 2026

No description provided.

@bmarty bmarty changed the title Setup zizmor and fix existing issue. Setup zizmor and fix existing issues. Mar 5, 2026
@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.

@bmarty bmarty marked this pull request as ready for review March 6, 2026 13:11
Copy link
Member

@jmartinesp jmartinesp left a comment

Choose a reason for hiding this comment

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

Thanks!

@bmarty bmarty merged commit 4fcacf3 into develop Mar 6, 2026
11 of 14 checks passed
@bmarty bmarty deleted the feature/bma/zizmor branch March 6, 2026 13:20
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