CI didn't trigger for https://github.com/mkantor/operator/pull/100 because the commit didn't come from a push to this repository. I originally did have pull_request as a triggering event, but removed it way back in daf8783 because it was kicking off duplicate jobs. I should have instead configured it like this so that only direct pushes to the mainline branch trigger CI (and all pull requests do).
CI didn't trigger for https://github.com/mkantor/operator/pull/100 because the commit didn't come from a push to this repository. I originally did have
pull_requestas a triggering event, but removed it way back in daf8783 because it was kicking off duplicate jobs. I should have instead configured it like this so that only direct pushes to the mainline branch trigger CI (and all pull requests do).