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