Skip to content

fix(files): reload the file tree while a run writes and on window focus (#1144) - #1153

Merged
agegr merged 1 commit into
mainfrom
fix/file-tree-live-refresh
Oct 9, 2026
Merged

fix(files): reload the file tree while a run writes and on window focus (#1144)#1153
agegr merged 1 commit into
mainfrom
fix/file-tree-live-refresh

fix(files): reload the file tree while a run writes and on window foc…

9dd93b7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar