Jenkinsfile: use "extras_require dev" for jenkins builds

Open-EO · Jan 29, 2020 · 090c5d1 · 090c5d1
1 parent 7063902
commit 090c5d1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -12,4 +12,5 @@ pythonPipeline {
   package_name = 'openeo'
   wipeout_workspace = true
   python_version = ["3.5","3.6"]
+  extras_require = 'dev'
 }