Try bumping rtd rust version so it has cargo

egraphs-good · Sep 29, 2023 · a973bbd · a973bbd
1 parent 47577a0
commit a973bbd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -12,7 +12,7 @@ build:
     python: "3.10"
     # You can also specify other tool versions:
     # nodejs: "16"
-    rust: "1.64"
+    rust: "1.70"
     # golang: "1.17"
   apt_packages:
     - graphviz