Update GitHub Action to use specific version of github-script#5491
Update GitHub Action to use specific version of github-script#5491qgallouedec merged 3 commits intomainfrom
Conversation
💡 Codex ReviewRestricting ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
If Codex has suggestions, it will comment; otherwise it will react with 👍. Codex can also answer questions or update the PR. Try commenting "@codex address that feedback". |
|
The docs for this PR live here. All of your documentation changes will be reflected on that endpoint. The docs are available until 30 days after the last update. |
see https://github.com/huggingface/tracking-issues/issues/417
Note
Low Risk
Low risk: this only pins a GitHub Action dependency to a specific commit in a workflow, reducing supply-chain drift without changing the workflow logic.
Overview
Pins the
actions/github-scriptdependency inpr_template_check.ymlfrom the floatingv7tag to a specific commit SHA (stillv7). This makes the PR template check workflow deterministic and less susceptible to upstream tag changes.Reviewed by Cursor Bugbot for commit 9c21288. Bugbot is set up for automated code reviews on this repo. Configure here.