diff options
author | Josh Smith <joshsmith@codethink.co.uk> | 2018-07-19 16:30:38 +0100 |
---|---|---|
committer | Tristan Van Berkom <tristan.van.berkom@gmail.com> | 2018-07-23 09:22:39 +0000 |
commit | 6b82e476cbf079c7922b22b2df3946ba9b231c3c (patch) | |
tree | c9b436f9be8393f30cd383bf8e38c31de2e3f2bc | |
parent | 6559db4c6cebef78d3070bfe40fe1e2bfbf47ee8 (diff) | |
download | buildstream-6b82e476cbf079c7922b22b2df3946ba9b231c3c.tar.gz |
cascache.py: Add push info detailing which remote is being pushed to
Work towards fixing issue #275
-rw-r--r-- | buildstream/_artifactcache/cascache.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/buildstream/_artifactcache/cascache.py b/buildstream/_artifactcache/cascache.py index 1e84c282f..16789caed 100644 --- a/buildstream/_artifactcache/cascache.py +++ b/buildstream/_artifactcache/cascache.py @@ -262,6 +262,8 @@ class CASCache(ArtifactCache): for remote in push_remotes: remote.init() + element.info("Pushing {} -> {}".format(element._get_brief_display_key(), remote.spec.url)) + try: for ref in refs: tree = self.resolve_ref(ref) @@ -275,6 +277,8 @@ class CASCache(ArtifactCache): if response.digest.hash == tree.hash and response.digest.size_bytes == tree.size_bytes: # ref is already on the server with the same tree + element.info("Skipping {}, remote ({}) already has artifact cached".format( + element._get_brief_display_key(), remote.spec.url)) continue except grpc.RpcError as e: |