You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now, a lot of PRs are being merged despite checks failing. The checks failing are tiny coverage differences, which do not really matter. We should change the CI so that the coverage message are always posted, but the checks aren't failing. We can probably do something like
<launch codecov>||true
The text was updated successfully, but these errors were encountered:
Right now, a lot of PRs are being merged despite checks failing. The checks failing are tiny coverage differences, which do not really matter. We should change the CI so that the coverage message are always posted, but the checks aren't failing. We can probably do something like
The text was updated successfully, but these errors were encountered: