diff --git a/.github/deploy_doc.sh b/.github/deploy_doc.sh index aa4804c7..372130ec 100755 --- a/.github/deploy_doc.sh +++ b/.github/deploy_doc.sh @@ -49,4 +49,5 @@ deploy_doc "$GITHUB_SHA" latest node deploy_doc "$GITHUB_SHA" v0.9.0 python override deploy_doc "$GITHUB_SHA" v0.9.1 python override deploy_doc "$GITHUB_SHA" v0.9.2 python override +deploy_doc "$GITHUB_SHA" v0.9.3 python override deploy_doc "$GITHUB_SHA" latest python diff --git a/docs/source/_static/js/custom.js b/docs/source/_static/js/custom.js index 0663de42..21e381f1 100644 --- a/docs/source/_static/js/custom.js +++ b/docs/source/_static/js/custom.js @@ -4,7 +4,7 @@ const languages = [ "rust", "python", "node" ]; // Last stable version for each language const stableVersion = { "rust": "master", - "python": "v0.9.2", + "python": "v0.9.3", "node": "master" } // Dictionary doc folder to Label for each language @@ -14,7 +14,7 @@ const versionMapping = { }, "python": { "master": "master", - "v0.9.2": "v0.9.2" + "v0.9.3": "v0.9.3" }, "node": { "master": "master",