Skip to content

Conversation

@tasansal
Copy link
Contributor

This allows us to catch errors, and also render progress bars etc. nicer.

@tasansal tasansal self-assigned this Oct 18, 2025
@tasansal tasansal added the documentation Improvements or additions to documentation label Oct 18, 2025
@tasansal tasansal marked this pull request as ready for review October 18, 2025 22:44
@tasansal tasansal merged commit a6e8116 into main Oct 18, 2025
14 checks passed
@tasansal tasansal deleted the make-corrupt-files-executable branch October 18, 2025 22:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant