|
@@ -33,6 +33,15 @@ cp jupyter-plugins-demo.gif docs
|
|
npm install -g postcss-cli
|
|
npm install -g postcss-cli
|
|
postcss jupyterlab/build/*.css > /dev/null
|
|
postcss jupyterlab/build/*.css > /dev/null
|
|
|
|
|
|
|
|
+# Verify docs build
|
|
|
|
+pushd tutorial
|
|
|
|
+conda env create -n test_docs -f environment.yml
|
|
|
|
+source activate test_docs
|
|
|
|
+make linkcheck
|
|
|
|
+make html
|
|
|
|
+source deactivate
|
|
|
|
+popd
|
|
|
|
+
|
|
# Make sure we can start and kill the lab server
|
|
# Make sure we can start and kill the lab server
|
|
jupyter lab --no-browser &
|
|
jupyter lab --no-browser &
|
|
TASK_PID=$!
|
|
TASK_PID=$!
|