Skip to content

chore: update and pin github actions#138

Merged
mihneadb merged 1 commit intomihneadb:masterfrom
RichardoC:update-and-pin-github-actions
Mar 26, 2026
Merged

chore: update and pin github actions#138
mihneadb merged 1 commit intomihneadb:masterfrom
RichardoC:update-and-pin-github-actions

Conversation

@RichardoC
Copy link
Copy Markdown
Contributor

Given the current attacks against repos using github actions, I've bumped the versions and pinned them to hopefully make that less likely against this repo

Copy link
Copy Markdown
Owner

@mihneadb mihneadb left a comment

Choose a reason for hiding this comment

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

Thanks!

@mihneadb mihneadb merged commit 20ba72e into mihneadb:master Mar 26, 2026
1 check passed
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