Skip to content

fix: define zizmor inputs#10

Merged
RoyalOughtness merged 4 commits intomainfrom
fixzizmor
Jul 28, 2025
Merged

fix: define zizmor inputs#10
RoyalOughtness merged 4 commits intomainfrom
fixzizmor

Conversation

@RoyalOughtness
Copy link
Copy Markdown
Contributor

No description provided.

Copy link
Copy Markdown

@github-advanced-security github-advanced-security bot left a comment

Choose a reason for hiding this comment

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

zizmor found more than 20 potential problems in the proposed changes. Check the Files changed tab for more details.

@RoyalOughtness RoyalOughtness merged commit 7b0d71c into main Jul 28, 2025
6 of 7 checks passed
@RoyalOughtness RoyalOughtness deleted the fixzizmor branch August 2, 2025 00:08
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.

1 participant