[jenkins] anvil CI tools repo (build 17) success