Merge pull request #413 from egraphs-good/copilot/update-rtd-build-image

saulshanabrook · web-flow · commit 8812ec9585f6 · 2026-04-08T17:53:17.000-07:00
Update Read the Docs build image to Ubuntu 24.04
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -7,7 +7,7 @@ version: 2
 
 # Set the version of Python and other tools you might need
 build:
-  os: ubuntu-20.04
+  os: ubuntu-24.04
   tools:
     python: "3.12"
     #     # You can also specify other tool versions:
