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