Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
.github: ignore Send coverage errors
Sometimes only the "Send coverage" step of a CI job will fail. This commit turns this step into a "best effort" step instead so that it does not block a CI job from passing. It can, for example, often happen that a single job is re-run from the GH UI, it then passes but the "Send coverage" step fails due to the "Can't add a job to a build that is already closed." error meaning that the only way to get the CI step to pass is to re-push and retrigger a full CI run.
- Loading branch information