Skip to content

Pin GitHub Actions to commit#56

Closed
rxbchen wants to merge 1 commit intomainfrom
pin-actions-commit
Closed

Pin GitHub Actions to commit#56
rxbchen wants to merge 1 commit intomainfrom
pin-actions-commit

Conversation

@rxbchen
Copy link
Contributor

@rxbchen rxbchen commented Apr 30, 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
Copy link
Contributor

XrXr commented Apr 30, 2025

Closing since this looks like a duplicate of #55

@XrXr XrXr closed this Apr 30, 2025
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