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 /users/Profpatsch/alacritty.nix | |
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 'users/Profpatsch/alacritty.nix')
0 files changed, 0 insertions, 0 deletions