It has come to my attention that we can have PRs merged without all CI pipelines passing. Since 1. we have working CIs now, and 2. we've fixed the flaky build failures (#271), I ask that we enforce the CI checks being run & green before any PR gets merged.
Unfortunately, the GitHub built-in "required status check" is pretty crappy and useless (https://github.com/orgs/community/discussions/13690). We'll need an alternative. I see that our org admin has approved the usage of this action: https://github.com/poseidon/wait-for-status-checks. I suggest that we give it a shot.
cc @NVIDIA/cuda-python-dev for vis
It has come to my attention that we can have PRs merged without all CI pipelines passing. Since 1. we have working CIs now, and 2. we've fixed the flaky build failures (#271), I ask that we enforce the CI checks being run & green before any PR gets merged.
Unfortunately, the GitHub built-in "required status check" is pretty crappy and useless (https://github.com/orgs/community/discussions/13690). We'll need an alternative. I see that our org admin has approved the usage of this action: https://github.com/poseidon/wait-for-status-checks. I suggest that we give it a shot.
cc @NVIDIA/cuda-python-dev for vis