Skip to content

ci: update actions - #132

Merged
ninoseki merged 1 commit into
mainfrom
update-action
Jul 2, 2026
Merged

ci: update actions#132
ninoseki merged 1 commit into
mainfrom
update-action

Conversation

@ninoseki

@ninoseki ninoseki commented Jul 1, 2026

Copy link
Copy Markdown
Collaborator

Update GitHub actions especially actions/checkout.

The latest version improves RP related safety (https://github.com/actions/checkout#whats-new). It's irrelavent to this repo right now but I think it's good for preventing footgun in future.

@ninoseki
ninoseki requested review from cdnsyseng and fw42 July 1, 2026 01:48
@ninoseki
ninoseki merged commit a0e9c5f into main Jul 2, 2026
4 checks passed
@ninoseki
ninoseki deleted the update-action branch July 2, 2026 08:40
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