diff options
author | Florian Klink <flokli@flokli.de> | 2024-05-26T18·32+0200 |
---|---|---|
committer | flokli <flokli@flokli.de> | 2024-05-30T16·18+0000 |
commit | 5405ed9dc6ae8b1bc906668209b6aa33ad848a41 (patch) | |
tree | aff24d97884cf0f2b3dcd6c49c5847e800fac3c8 /third_party/cgit/gen-version.sh | |
parent | baa39d9d098fa5a1af58c79483f2701a68139df1 (diff) |
fix(tvix/eval): proptests require arbitrary feature r/8183
`cargo test --no-default-features` fails, if we don't conditionalize this on the `arbitrary` feature too. Change-Id: I81a277810119fed0cfc37c942c422f731aa14b2e Reviewed-on: https://cl.tvl.fyi/c/depot/+/11726 Autosubmit: flokli <flokli@flokli.de> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Reviewed-by: Connor Brewster <cbrewster@hey.com>
Diffstat (limited to 'third_party/cgit/gen-version.sh')
0 files changed, 0 insertions, 0 deletions