fix(lib): Manim fixes, bump to >= 0.18, and tests#447
Merged
jeertmans merged 26 commits intomainfrom fix-configJul 1, 2024
+600-281
Commits
Commits on Jun 12, 2024
Commits on Jun 26, 2024
Commits on Jun 27, 2024
- committed
- committed
- committed
- committed
Commits on Jul 1, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
![pre-commit-ci[bot]](https://avatars.githubusercontent.com/in/68672?v=4&size=32){kind=avatar}