Closed hschafer closed 1 year ago
Currently it takes too long and breaks too often to build the manim animations on Github actions. Right now have to manually build before push. Would be great to fix that eventually.
This was solved in my most recent rush of edits.
Currently it takes too long and breaks too often to build the manim animations on Github actions. Right now have to manually build before push. Would be great to fix that eventually.