diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-12T14·19+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-08-26T20·32+0000 |
commit | d952b29fca09c33ee297d0eb65a15dbf2b7cdf45 (patch) | |
tree | 8880ff40e67a1d65bab8f89e4887ef8decf0d2ab /.gitignore | |
parent | e70ef017ff3ff1c3aab6023b950b9206773d44dd (diff) |
chore(tvix/eval): add variant_size_differences warning for OpCode r/4510
This makes it possible to quickly detect code errors that might blow up the size of the OpCode type. Change-Id: I7662dd0aa30c4762c0f9e4fa346418c9ca8b9994 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6177 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions