summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ci-prod.ick12
1 files changed, 12 insertions, 0 deletions
diff --git a/ci-prod.ick b/ci-prod.ick
index e0a9b14..7faedb2 100644
--- a/ci-prod.ick
+++ b/ci-prod.ick
@@ -874,6 +874,18 @@ projects:
workspace_name: obnam
pipelines: *deb_ci_rustup_with_check_pipelines
+ - project: obnam-benchmark
+ parameters:
+ <<: *dummy_program_params
+ sources:
+ - name: code
+ repo: git://git.liw.fi/obnam-benchmark
+ ref: main
+ location: src
+ rsync_target: ickliwfi@http.liw.fi:/srv/http/doc.obnam.org
+ workspace_name: obnam-benchmark
+ pipelines: *deb_ci_rustup_with_check_pipelines
+
# - project: bumper
# parameters:
# <<: *dummy_program_params