Merge branch 'rdm-demo' of https://github.com/WorldCereal/worldcereal…

…-classification into rdm-demo
WorldCereal · Jan 28, 2025 · e33c5ff · e33c5ff
2 parents 969dd09 + 240b8d0
commit e33c5ff
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/jenkins_pre_install_script.sh b/jenkins_pre_install_script.sh
@@ -24,5 +24,6 @@ dir=$(pwd)
 
 su - jenkins -c "cd $dir && \
   source venv310/bin/activate && \
-  pip install git+https://github.com/WorldCereal/presto-worldcereal.git@croptype
+  pip install git+https://github.com/WorldCereal/presto-worldcereal.git@croptype && \
+  pip install git+https://github.com/WorldCereal/prometheo.git
 "