[jenkins] update-all-ci-tools (build 517) completed with 0 failures