Skip to content

Address various zizmor findings & update actions#434

Merged
glyph merged 3 commits into
trunkfrom
zizmor
Jul 2, 2026
Merged

Address various zizmor findings & update actions#434
glyph merged 3 commits into
trunkfrom
zizmor

Conversation

@twm

@twm twm commented Jul 1, 2026

Copy link
Copy Markdown
Member

Address various Zizmor lint findings — nothing serious. Pin all of the GitHub Actions. Dependabot knows how to update these pins.

Closes #432.
Closes #433.

@twm twm marked this pull request as ready for review July 1, 2026 22:28
@glyph glyph enabled auto-merge July 2, 2026 03:29

@glyph glyph left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

I'm going to assume you know what you're doing herel, but, I am a bit confused about the hash pins. Will this still be legible to Dependabot for automatic upgrades in the future?

@glyph glyph merged commit 4b66c11 into trunk Jul 2, 2026
16 of 17 checks passed
@glyph glyph deleted the zizmor branch July 2, 2026 03:31
@twm

twm commented Jul 2, 2026

Copy link
Copy Markdown
Member Author

@glyph Yup, it does. See this PR for an example of it doing so! Thank you for the review!

@glyph

glyph commented Jul 2, 2026

Copy link
Copy Markdown
Member

Excellent, thanks for the quick citation.

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