Cancel previous CI runs if a new push is made. Thus saving a bit of CI
resources.