Skip to content

Conversation

@fischeti
Copy link
Contributor

No description provided.

@fischeti fischeti force-pushed the fischeti/no-progress branch 2 times, most recently from 3c5c482 to 49be997 Compare January 26, 2026 21:24
Copy link
Member

@micprog micprog left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for adding this flag, LGTM! 👍

@fischeti fischeti force-pushed the fischeti/no-progress branch from 49be997 to 12267f1 Compare January 27, 2026 16:05
@micprog micprog merged commit e74343e into master Jan 27, 2026
11 checks passed
@fischeti fischeti deleted the fischeti/no-progress branch January 27, 2026 20:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants