Skip to content

chore(zizmor): account for new rule in ignore in lint_pr.yml#154

Merged
GideonBear merged 1 commit intomainfrom
all-repos_autofix_all-repos-sed
Apr 13, 2026
Merged

chore(zizmor): account for new rule in ignore in lint_pr.yml#154
GideonBear merged 1 commit intomainfrom
all-repos_autofix_all-repos-sed

Conversation

@GideonBear
Copy link
Copy Markdown
Owner

@GideonBear GideonBear merged commit 717f317 into main Apr 13, 2026
6 checks passed
@GideonBear GideonBear deleted the all-repos_autofix_all-repos-sed branch April 13, 2026 17:52
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