Skip to content

Pin GitHub Actions to commit#55

Merged
peterzhu2118 merged 1 commit intomainfrom
actions-commit
Apr 30, 2025
Merged

Pin GitHub Actions to commit#55
peterzhu2118 merged 1 commit intomainfrom
actions-commit

Conversation

@rxbchen
Copy link
Contributor

@rxbchen rxbchen commented Apr 29, 2025

This is an automated PR to update actions in this repo. The operation should be no-op, as we are only switching out the version tag with the matching commit SHA.

To align with industry best practices, we are going to pin Github Actions to a specific commit SHA.

To read more about why pinning actions is recommended check here.

To ensure these Actions stay to-do-date, this PR also enables Dependabot automated updates. To read more about this configuration check here.

If allowed, this PR will attempt to auto-merge in ~1 week.

@XrXr XrXr mentioned this pull request Apr 30, 2025
@peterzhu2118 peterzhu2118 merged commit 1e93eac into main Apr 30, 2025
9 checks passed
@XrXr XrXr deleted the actions-commit branch May 1, 2025 05:53
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.

3 participants