Skip to content

Fix zizmor reports#177

Merged
dguido merged 1 commit intomasterfrom
fix-zizmor-reports
Jan 9, 2026
Merged

Fix zizmor reports#177
dguido merged 1 commit intomasterfrom
fix-zizmor-reports

Conversation

@thomas-chauchefoin-tob
Copy link
Copy Markdown
Collaborator

No description provided.

@thomas-chauchefoin-tob thomas-chauchefoin-tob marked this pull request as ready for review December 1, 2025 13:58
@dguido dguido merged commit 1d3af0d into master Jan 9, 2026
13 checks passed
@dguido dguido deleted the fix-zizmor-reports branch January 9, 2026 22:15
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