chore: fix to release scripts

2026-04-02 10:14:08 +00:00 · 2025-09-16 10:17:57 +10:00
1 changed files with 1 additions and 1 deletions
--- a/script/release_steps.py
+++ b/script/release_steps.py
@@ -382,7 +382,7 @@ def execute_release_steps(repo, version, config):

        # Update lean-toolchain in docs
        print(blue("Updating docs/lean-toolchain..."))
-        docs_toolchain = "docs" / "lean-toolchain"
+        docs_toolchain = repo_path / "docs" / "lean-toolchain"
        with open(docs_toolchain, "w") as f:
            f.write(f"leanprover/lean4:{version}\n")
        print(green(f"Updated docs/lean-toolchain to leanprover/lean4:{version}"))