diff options
| author | Vincent Ambo <mail@tazj.in> | 2023-01-03T23·21+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2023-01-06T12·15+0000 |
| commit | 88432235ae34d853f57842a862d7c7ea40793f2d (patch) | |
| tree | 2d43ac05fcbdcd534afccbaab8f1bab872c313c4 /.gcroots/.skip-subtree | |
| parent | 5634172a7fa97807f2e20cb12e33d2f6275649b6 (diff) | |
fix(tvix/eval): VM & Builtin* types have to be public r/5597
... without them, using the new Builtins API is basically impossible for library consumers. Change-Id: Ice0557a2e55e12d812f51bf5a99e6b8c91ad1b91 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7755 Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to '.gcroots/.skip-subtree')
0 files changed, 0 insertions, 0 deletions