Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: small quality of life improvements in progress tracker #265

Merged
merged 1 commit into from
Jan 9, 2025

feat: small quality of life improvements in progress tracker

077606a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat: small quality of life improvements in progress tracker #265

feat: small quality of life improvements in progress tracker
077606a
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
check-lean-files
succeeded Jan 9, 2025 in 3s