Skip to content

Keep recordings on Ctrl+C, drop dataset repair, make Stop immediate - #134

Merged
nicolas-rabault merged 2 commits into
mainfrom
fix/finalize-on-shutdown
Oct 8, 2026
Merged

Keep recordings on Ctrl+C, drop dataset repair, make Stop immediate#134
nicolas-rabault merged 2 commits into
mainfrom
fix/finalize-on-shutdown

fix(datasets): refuse escaping repo_ids before the Hub fallback

bd0009c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar