ci: add --dump flag in notebook workflow

tum-ei-eda · Oct 10, 2024 · 357719f · 357719f
1 parent 53f0fd6
commit 357719f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ipynb/run_notebook.sh b/ipynb/run_notebook.sh
@@ -3,7 +3,7 @@
 set -eE
 
 SHORT=h:,:,e:
-LONG=home:,environment:,skip,cleanup,clear,noop,html,pdf,mill,help
+LONG=home:,environment:,skip,cleanup,clear,noop,html,pdf,mill,dump,help
 OPTS=$(getopt -a -n class --options $SHORT --longoptions $LONG -- "$@")
 
 eval set -- "$OPTS"