diff --git a/.github/deploy_doc.sh b/.github/deploy_doc.sh index 48599e32..117a8ea9 100755 --- a/.github/deploy_doc.sh +++ b/.github/deploy_doc.sh @@ -44,8 +44,9 @@ deploy_doc "$GITHUB_SHA" latest rust override deploy_doc "$GITHUB_SHA" latest node override # Python versions -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 "558f2d87795ffc9d9786f1e923398e3eebe14187" v0.9.0 python override +deploy_doc "558f2d87795ffc9d9786f1e923398e3eebe14187" v0.9.1 python override +deploy_doc "558f2d87795ffc9d9786f1e923398e3eebe14187" v0.9.2 python override +deploy_doc "558f2d87795ffc9d9786f1e923398e3eebe14187" v0.9.3 python override +deploy_doc "$GITHUB_SHA" v0.9.4 python override deploy_doc "$GITHUB_SHA" latest python override diff --git a/docs/source/_static/js/custom.js b/docs/source/_static/js/custom.js index 21e381f1..a349bab3 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.3", + "python": "v0.9.4", "node": "master" } // Dictionary doc folder to Label for each language @@ -14,7 +14,7 @@ const versionMapping = { }, "python": { "master": "master", - "v0.9.3": "v0.9.3" + "v0.9.4": "v0.9.4" }, "node": { "master": "master",