ci: Report coverage to Codecov without token #1628
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
Resolves #1559
This should actually resolve Issue #1559 by using the tokenless infrastructure that Codecov now supports (c.f. codecov/codecov-action#29 (comment)).
This infrastructure has already existed, but in newer versions of the GitHub Action it is supposed to work better, so we'll see how quickly the coverage report comes in.
(cc @alexander-held as this has been an Issue for
cabinetry
in the past I think).Checklist Before Requesting Reviewer
Before Merging
For the PR Assignees: