diff options
| author | Adam Joseph <adam@westernsemico.com> | 2022-10-12T04·42-0700 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-10-12T07·25+0000 |
| commit | f2bf65a40bfc3807adf14e983f870b0b75b1d074 (patch) | |
| tree | 921e81c1e1c3098ecdb2df740a89faac66a5b775 /tvix/eval/proptest-regressions/value/mod.txt | |
| parent | 4e94a2696b537af09ce37091d9e1ec95fdf2cb7d (diff) | |
fix(tvix/eval): remove overlapping instances r/5111
I broke the build. I didn't understand that before hitting "submit" you need to re-test your changes on latest HEAD (and that CI doesn't do that for you); I failed to re-test cl/6912 following the merge of cl/6907. This commit fixes the build by removing the overlapping instances. Change-Id: I2a720d2c60cc7103b350f78102a8998f93bac828 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6965 Tested-by: BuildkiteCI Autosubmit: Adam Joseph <adam@westernsemico.com> Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'tvix/eval/proptest-regressions/value/mod.txt')
0 files changed, 0 insertions, 0 deletions