Skip to content

bump zizmor#285

Merged
DetachHead merged 2 commits into
masterfrom
pin-zizmor
Jul 18, 2026
Merged

bump zizmor#285
DetachHead merged 2 commits into
masterfrom
pin-zizmor

Conversation

@DetachHead

Copy link
Copy Markdown
Owner

No description provided.

@DetachHead DetachHead changed the title Pin zizmor bump zizmor Jul 18, 2026
@DetachHead DetachHead added the project internal contributor-facing changes - no user impact label Jul 18, 2026
@DetachHead
DetachHead merged commit 40e8caf into master Jul 18, 2026
5 checks passed
@DetachHead
DetachHead deleted the pin-zizmor branch July 18, 2026 01:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

project internal contributor-facing changes - no user impact

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant