Closed brunodb3 closed 3 months ago
Currently, build runs only after a PR is merged, therefore a PR can be merged successfully even if the build is failing. Ideally the build should also be a gate for merging a PR.
Currently, build runs only after a PR is merged, therefore a PR can be merged successfully even if the build is failing. Ideally the build should also be a gate for merging a PR.