You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@buildstream.apache.org by GitBox <gi...@apache.org> on 2021/03/18 09:42:53 UTC

[GitHub] [buildstream] juergbi opened a new pull request #1458: Query sources of cached elements in build pipeline with source push enabled

juergbi opened a new pull request #1458:
URL: https://github.com/apache/buildstream/pull/1458


   The source cache status of all elements is required if source push is enabled, independent of whether the artifact is already available.
   
   Fixes #1456.
   
   Fixes: 2003805e ("Move artifact and source cache query trigger to...")


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

[GitHub] [buildstream] juergbi merged pull request #1458: Query sources of cached elements in build pipeline with source push enabled

Posted by GitBox <gi...@apache.org>.

juergbi merged pull request #1458:
URL: https://github.com/apache/buildstream/pull/1458


   


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
users@infra.apache.org