Skip to content
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.

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

ci: explicitly specify token for codecov #285

Merged
merged 2 commits into from
Feb 9, 2024
Merged

Conversation

thazhemadam
Copy link
Member

Explicitly specify the codecov token to be used (i.e., CODECOV_TOKEN), given that the latest v4 release of the codecov action requires it to be able to generate coverage reports. Additionally, fail CI if coverage reporting fails, since coverage is an important enough metric for us to ensure that it's tracked consistently.

Explicitly specify the codecov token to be used (i.e., `CODECOV_TOKEN`), given that the latest v4 release of the codecov action requires it to be able to generate coverage reports.
Additionally, fail CI if coverage reporting fails, since coverage is an important enough metric for us to ensure that it's tracked consistently.
Explicitly specify the codecov token to be used (i.e., `CODECOV_TOKEN`), given that the latest v4 release of the codecov action requires it to be able to generate coverage reports.
Additionally, fail CI if coverage reporting fails, since coverage is an important enough metric for us to ensure that it's tracked consistently.
@thazhemadam thazhemadam merged commit 9e0052c into master Feb 9, 2024
4 checks passed
@thazhemadam thazhemadam deleted the thazhemadam-patch-1 branch February 9, 2024 17:48
@pogudingleb
Copy link
Collaborator

I have to say that I am not entirely happy about merging the PR to master without review/approval.

@ChrisRackauckas
Copy link
Member

This was just a CI update done to all repos because the v4 now requires tokens, so there's a org-wide SSH token that was added to fix codecov usage. I'm not entirely sure how this would be done non-centrally since it would require setting the secrets.

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