Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
As I was checking #1818 and the new workflows, I realized I had forgotten to update the workflow reference so that the coverage action calls the correct workflow. AFAIK the way the workflows are implemented now, the coverage comment should only trigger on PRs, so should no longer block releases, as mentioned in #1818
- Loading branch information