jenkins_integration: don't queue VERSION-only changes