Skip to content

github: Pin actions and tools to specific version#1047

Merged
penberg merged 1 commit into
mainfrom
github-pin
May 22, 2026
Merged

github: Pin actions and tools to specific version#1047
penberg merged 1 commit into
mainfrom
github-pin

Conversation

@penberg

@penberg penberg commented May 22, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@penberg penberg merged commit 3f77381 into main May 22, 2026
2 checks passed
@penberg penberg deleted the github-pin branch May 22, 2026 07:43
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