diff options
| author | Vincent Ambo <mail@tazj.in> | 2020-08-20T00·25+0100 |
|---|---|---|
| committer | tazjin <mail@tazj.in> | 2020-08-20T11·48+0000 |
| commit | 883de9b8d71b9cb984d8ff315b4dcc30e0ca9082 (patch) | |
| tree | 2a8175cd758f2d8c08157a3790b08f8886e36726 /third_party/rapidcheck | |
| parent | dfc351b4634aff4c56a08ab4f47139ccaf6dc652 (diff) | |
feat(tvix): Add a no-op stream buffer for discarding build logs r/1684
In some cases we don't have anywhere for the build logs to go. Until we understand those cases fully and can get rid of them, this null sink implementation can be used. Change-Id: Ib93c43caf268e2c01c43d59737a829e8c43d223e Reviewed-on: https://cl.tvl.fyi/c/depot/+/1792 Tested-by: BuildkiteCI Reviewed-by: kanepyork <rikingcoding@gmail.com> Reviewed-by: glittershark <grfn@gws.fyi>
Diffstat (limited to 'third_party/rapidcheck')
0 files changed, 0 insertions, 0 deletions