Skip to content

Authenticate protoc setup#5

Open
intel352 wants to merge 1 commit into
mainfrom
fix/protoc-rate-limit
Open

Authenticate protoc setup#5
intel352 wants to merge 1 commit into
mainfrom
fix/protoc-rate-limit

Conversation

@intel352

Copy link
Copy Markdown

Summary

  • authenticate arduino/setup-protoc release discovery with the built-in GitHub job token on github.com
  • pin setup-protoc v3.0.0 to its verified commit before exposing the credential
  • preserve anonymous setup behavior on GitHub Enterprise Server

Why

Main Lint run 29270292677 failed in Set up CI environment because unauthenticated setup-protoc release discovery hit GitHub's shared-IP API limit. The failed-job rerun passed, confirming an external rate-limit flake. setup-protoc v3 documents repo-token specifically for this boundary.

No custom secret is added. ${{ github.token }} is the GitHub-provided job token expression, not a credential value.

Verification

  • actionlint -ignore 'actions-rs/toolchain@v1' .github/workflows/*.yml
  • git diff --check
  • verified c65c819552d16ad3c9b72d9dfd5ba5237b9c906b is the peeled v3.0.0 tag commit
  • adversarial review: SHIP-IT after pinning the action and guarding GHES

Pin setup-protoc before passing the built-in job token and keep GHES calls anonymous.
Copilot AI review requested due to automatic review settings July 13, 2026 17:56

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Pull request overview

This PR hardens CI’s protoc installation step by authenticating GitHub release discovery on github.com (to avoid shared-runner API rate limiting) while keeping behavior safe/anonymous on GitHub Enterprise Server.

Changes:

  • Pin arduino/setup-protoc to the verified v3.0.0 commit SHA.
  • Pass the built-in job token only when github.server_url is https://github.com to avoid using an invalid token on GHES.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

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