diff options
| -rw-r--r-- | jenkins/dispatch.groovy | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jenkins/dispatch.groovy b/jenkins/dispatch.groovy index 9fcf805..c62d15c 100644 --- a/jenkins/dispatch.groovy +++ b/jenkins/dispatch.groovy @@ -212,6 +212,7 @@ node(LABEL) { cmd = "rambo" args = ["--platform ${this.CONDA_PLATFORM}", "--python ${PY_VERSION}", + "--numpy ${NUMPY_VERSION}", "--manifest manifests/${MANIFEST_FILE}", "--file ${build_list_file}", "${culled_option}", |