Run CI pipeline on pushes only
We are getting an extra "detached" CI pipeline on every merge request now. This branch will hopefully fix this.
We are getting an extra "detached" CI pipeline on every merge request now. This branch will hopefully fix this.