From 38214ac121f2c41c610b1336c89035a7276021f5 Mon Sep 17 00:00:00 2001 From: Kim Morrison <477956+kim-em@users.noreply.github.com> Date: Tue, 16 Sep 2025 10:23:55 +1000 Subject: [PATCH] chore: fix to release scripts (#10401) --- script/release_steps.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/release_steps.py b/script/release_steps.py index 386e55fa0b..8fbdc47418 100755 --- 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}"))