From b0d64ce3270af7a5515ce8ce5b26a1541f6306d2 Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Mon, 25 Jul 2022 18:13:06 +0300 Subject: add riki Sponsored-by: author --- ci-prod.ick | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/ci-prod.ick b/ci-prod.ick index 26a2a26..e0286fa 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -917,6 +917,18 @@ projects: - generate_obnam_benchmark_report - ick/save_workspace + - project: riki + parameters: + <<: *dummy_program_params + sources: + - name: code + repo: git://git.liw.fi/riki + ref: main + location: src + rsync_target: ickliwfi@http.liw.fi:/srv/http/doc.obnam.org/riki + workspace_name: riki + pipelines: *deb_ci_rustup_with_check_pipelines + # - project: bumper # parameters: # <<: *dummy_program_params -- cgit v1.2.1