I realized that this repo doesn't trigger CI builds on creating pull requests. That's helpful for contributors to understand they need to work if CI fails, and the maintainer doesn't have to manually check whether (1) changed code builds and (2) tests pass.
I realized that this repo doesn't trigger CI builds on creating pull requests. That's helpful for contributors to understand they need to work if CI fails, and the maintainer doesn't have to manually check whether (1) changed code builds and (2) tests pass.