.

.github/workflows/build.yaml

@@ -35,5 +35,5 @@ jobs:
         uses: actions/upload-artifact@v4
         with:
           name: ${{ matrix.name }}
-          path: media/videos/${{ matrix.file }}/1440p@60/*.mp4
+          path: media/videos/${{ matrix.file }}/1440p60/*.mp4
           retention-days: 5

README.md

@@ -5,11 +5,28 @@ The video was created using [manim](https://github.com/ManimCommunity/manim).
 
 The video is uploaded to YouTube. The video is available in [English](https://youtu.be/m9v0h2ibYpo) and in [German](https://youtu.be/flR3e5Cc2G4).
 
-## Theorem 
+## Theorem
+
 For every chain $H_1, \ldots, H_6$ of consequently touching circles inscribed in and touching the unit circle, the three main diagonals of the hexagon comprised of the points at which the chain touches the unit circle, intersect at a common point.
 
 [![The Seven Circle Theorem](thumbnail.png)](https://youtu.be/m9v0h2ibYpo)
 
 ## Acknowledgments
 
-[`tessellation_klein.png`](tessellation_klein.png) and [`tessellation_poincare.png`](tessellation_poincare.png) are made using the [Hyperbolic Tessellation program](https://dmitrybrant.com/2007/01/24/hyperbolic-tessellations) by [Dmirty Brant](https://github.com/dbrant).
+[`tessellation_klein.png`](tessellation_klein.png) and [`tessellation_poincare.png`](tessellation_poincare.png) are made using the [Hyperbolic Tessellation program](https://dmitrybrant.com/2007/01/24/hyperbolic-tessellations) by [Dmirty Brant](https://github.com/dbrant).
+
+## Development
+
+For development, you need to install [pixi](https://pixi.sh) as well as TeXLive.
+On macOS, you can do this via [Homebrew](https://brew.sh):
+
+```bash
+brew install pixi
+brew install mactex-no-gui
+```
+
+To render the videos, run
+
+```bash
+pixi run 4k-render-all
+```

pixi.toml

@@ -29,8 +29,7 @@ fast-render-horodisks = "manim -ql -a horodisks.py"
     "4k-render-main-result",
     "4k-render-benedikt",
     "4k-render-paulina",
-    "4k-render-horodisks",
-    "4k-concat-scenes"
+    "4k-render-horodisks"
 ]}
 
 [dependencies]