More robust temporary directory deletion#6426

Merged

mariosasko merged 7 commits intomainfrom

silence-temp-dir-permission-error

Dec 1, 2023

Commits on Nov 15, 2023

Commits on Nov 16, 2023

Improve error message
mariosasko
committed

Commits on Nov 30, 2023

Revert "More robust temporary directory deletion"
mariosasko
committed

Commits on Dec 1, 2023

Register temp cache files for deletion on copy/pickle
mariosasko
committed
Merge branch 'main' of github.com:huggingface/datasets into silence-temp-dir-permission-error
mariosasko
committed