Fix ci script

jupyterlab · May 2, 2020 · 03d40b1 · 03d40b1
1 parent 82a38d1
commit 03d40b1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/ci_script.sh b/scripts/ci_script.sh
@@ -62,6 +62,7 @@ if [[ $GROUP == docs ]]; then
     pushd docs
     pip install -r ./requirements.txt
     make html
+    popd
 
     # Build the API docs
     jlpm build:packages