Shoud we run the complete CI on push to main?
Currently we only build the docker images when merging a PR to `main`, and we have to rely on the PR CI to be all green. Maybe we could launch everything when we merge into `main`, just to be sure, and to keep a trace of possible issues.
Shoud we run the complete CI on push to main?: Currently we only build the docker images when merging a PR to `main`, and we have to rely on the PR CI to be all green. Maybe we could launch everything when we merge into `main`, just to be sure, and to keep a trace of possible issues.