diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-04T18·39+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-04T18·50+0000 |
commit | 01a0d5c82205c0b0677af0f8c60ad5e9ba23ce02 (patch) | |
tree | 324be4b20b4c93064b6fef2ae3cc8c411f9c5818 /ops | |
parent | 85e3281f75956ffe2fea2129c6593116c23cdc71 (diff) |
feat(corp/tvixbolt): implement optional runtime tracing r/4645
Uses Tvix's new `TracingObserver` to optionally produce a runtime trace, which the user can toggle via a checkbox. Runtime traces can be quite long, so they're only produced if asked for. Change-Id: Id0f27dc8ef6e9d81a31ecf22c81757b066815320 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6331 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'ops')
0 files changed, 0 insertions, 0 deletions