Skip to content

Conversation

@3b1b
Copy link
Owner

@3b1b 3b1b commented Dec 12, 2024

Adapting #2252 by @Splines after recent refactor.

@Splines
Copy link
Contributor

Splines commented Dec 12, 2024

Yes, it does, thanks! Might be worth to add the new CLI flag to the docs as I did in #2252 originally (failing the pipeline).

@3b1b 3b1b merged commit 00b34f2 into master Dec 12, 2024
0 of 2 checks passed
@3b1b 3b1b deleted the autoreload branch December 26, 2024 17:37
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