CI: push-containers: refresh containers also on modify cmake options