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