Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
stubsabot: warn if stubtest is skipped in CI (for real this time) (#9133
) Fixes a bug in #8681. The logic currently is broken; there should have been a warning message in the PR body for #9118, but there wasn't.
- Loading branch information