Skip to content

Conversation

@woodruffw
Copy link
Member

Fixes pin comments where needed, with gha-update.

Signed-off-by: William Woodruff <[email protected]>
@woodruffw woodruffw added chore github_actions Pull requests that update GitHub Actions code labels Apr 30, 2025
@woodruffw woodruffw self-assigned this Apr 30, 2025
@woodruffw woodruffw merged commit bc67be7 into master Apr 30, 2025
20 checks passed
@woodruffw woodruffw deleted the ww/fix-pins branch April 30, 2025 16:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants