Skip to content

ci: wire CACHE_PUSH_TOKEN so the coverage-map refresh actually pushes#1462

Merged
sbryngelson merged 1 commit into
MFlowCode:masterfrom
sbryngelson:wire-coverage-refresh-token
May 30, 2026
Merged

ci: wire CACHE_PUSH_TOKEN so the coverage-map refresh actually pushes#1462
sbryngelson merged 1 commit into
MFlowCode:masterfrom
sbryngelson:wire-coverage-refresh-token

Conversation

@sbryngelson
Copy link
Copy Markdown
Member

Follow-up to #1461. The coverage-refresh workflow pushed to protected master with the default GITHUB_TOKEN, which branch protection rejects — so the auto-refresh (the anti-rot mechanism) would never update the committed map.

The repo already has a CACHE_PUSH_TOKEN secret (created when the original cache was built) that was wired nowhere — part of why the old committed cache never auto-refreshed. This uses it, via the same x-access-token push pattern deploy-tap.yml uses for the homebrew repo.

With this, the weekly (+ cases.py/src-fpp-triggered) refresh can commit the rebuilt map back to master, and coverage-health stays green instead of going red after ~10 days.

(Requires that CACHE_PUSH_TOKEN has contents: write and branch-protection bypass for MFlowCode/MFC — it was presumably created for exactly this.)

Copilot AI review requested due to automatic review settings May 30, 2026 13:28
@sbryngelson sbryngelson merged commit 6f225ee into MFlowCode:master May 30, 2026
29 checks passed
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

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 fixes the coverage-map refresh workflow so it can push refreshed tests/coverage_map.json.gz back to protected master using the repository’s CACHE_PUSH_TOKEN, keeping coverage-health from going stale.

Changes:

  • Adds CACHE_PUSH_TOKEN to the commit/push step environment.
  • Replaces the default origin push with an explicit x-access-token push URL.
  • Updates the workflow comment to document the protected-branch token requirement.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants