deploy doc

hassiahk · Jan 4, 2021 · 98f2aa4 · 98f2aa4
1 parent dae6880
commit 98f2aa4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.circleci/deploy.sh b/.circleci/deploy.sh
@@ -34,6 +34,7 @@ deploy_doc "master" master
 
 # Example of how to deploy a doc on a certain commit (the commit doesn't have to be on the master branch).
 # The following commit would live on huggingface.co/docs/datasets/v1.0.0
+deploy_doc "dae6880" v1.2.0
 deploy_doc "000b584" v1.1.3
 deploy_doc "2256521" v1.1.2
 deploy_doc "8029965" v1.1.1

diff --git a/docs/source/_static/js/custom.js b/docs/source/_static/js/custom.js
@@ -1,6 +1,6 @@
 // These two things need to be updated at each release for the version selector.
 // Last stable version
-const stableVersion = "v1.0.2"
+const stableVersion = "v1.2.0"
 // Dictionary doc folder to label
 const versionMapping = {
     "master": "master",
@@ -13,6 +13,7 @@ const versionMapping = {
     "v1.1.1": "v1.1.1",
     "v1.1.2": "v1.1.2",
     "v1.1.3": "v1.1.3",
+    "v1.2.0": "v1.2.0",
 }
 
 function addIcon() {