diff options
author | Florian Klink <flokli@flokli.de> | 2024-06-13T07·40+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-06-13T16·18+0000 |
commit | 7f29cab1cc9b0cc751b49d1dac7694f5841725ab (patch) | |
tree | f443ff7f846d3fc560fad957c416b7f20c9d298d /tvix/tools | |
parent | 99c5a2e8bcb83e595d2c12bf7296338b1687f9de (diff) |
fix(tvix/glue/tvix_store_io): distinguish waiting and building r/8260
We immediately reported "Building", even though then populated necessary inputs, which looked a bit odd. Make it clear we're still waiting, and update the spinner message once we have all inputs we were waiting for. In the future, we might want to have separate spans for this, so the timer gets reset, but that's something for later. Change-Id: Ic22c9a906d0e7e7179c5ee328162401261efc224 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11799 Reviewed-by: aspen <root@gws.fyi> Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de>
Diffstat (limited to 'tvix/tools')
0 files changed, 0 insertions, 0 deletions