Skip to content

Update coverage.yml to use OIDC for Codecov #8474

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
cometkim wants to merge 1 commit into
base: master
Choose a base branch
from
+3 −1
Open

Update coverage.yml to use OIDC for Codecov #8474

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 3 additions & 1 deletion .github/workflows/coverage.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,8 @@ env:
jobs:
coverage:
runs-on: ubuntu-24.04-arm
permissions:
id-token: write
Comment on lines +22 to +23

@chatgpt-codex-connector chatgpt-codex-connector Bot Jun 16, 2026

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

P2 Badge Keep actions: write for cache eviction

When this job runs on push to master, adding a job-level permissions block with only id-token: write removes the previous GITHUB_TOKEN access for the later gh actions-cache delete step. GitHub's workflow syntax says unspecified permissions are set to none, and the Actions cache delete endpoint requires Actions repository permission write; without actions: write the delete is rejected (then hidden by || echo "not exist"), so the following actions/cache/save cannot refresh the master coverage cache under the same key.

Useful? React with 👍 / 👎.

env:
OS: ubuntu-24.04-arm
OCAML_COMPILER: 5.3.0
Expand Down Expand Up @@ -200,4 +202,4 @@ jobs:
with:
files: _coverage/coverage.json
fail_ci_if_error: false
token: ${{ secrets.CODECOV_TOKEN }}
use_oidc: true
Loading