commit | 22f8b642a0bc892a690f5f7727b4f9506cf56b25 | [log] [tgz] |
---|---|---|
author | Jürg Billeter <j@bitron.ch> | Tue Mar 23 10:48:46 2021 +0100 |
committer | GitHub <noreply@github.com> | Tue Mar 23 10:48:46 2021 +0100 |
tree | 9f472780ab8d7f6b0321059708707d8ae0fadfa5 | |
parent | aa1e44a8dac70764dfaa7a06b84fc48ae578968d [diff] | |
parent | 95e0190d623d9675e03a2bfed5f30294fb7e8259 [diff] |
Merge pull request #1458 from apache/juerg/build-with-source-push Query sources of cached elements in build pipeline with source push enabled