diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-09-03T13·22+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-09-09T10·48+0000 |
| commit | 8fdb67847cc1f68ca88dfe7a282f30e9f6ab2cc9 (patch) | |
| tree | 5bc4984fbd2da3b2f2965587289bb6729b8a5d04 /ops/dns/README.md | |
| parent | abdfa7459eb60f2b92064bdff12e33d04491e1cd (diff) | |
chore(tvix/eval): debug_assert that all jumps are patched r/4771
Suggestion from sterni in cl/6282 Change-Id: I1adbdda9ff74f55a2f72892ffa524808b305f403 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6445 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'ops/dns/README.md')
0 files changed, 0 insertions, 0 deletions