From 8bb91b018e7dff43007b56e2636ba838fe9be5c5 Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Sat, 30 Dec 2023 08:30:24 +0200
Subject: drop riki project

Signed-off-by: Lars Wirzenius <liw@liw.fi>
Sponsored-by: author
---
 ci-prod.ick | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/ci-prod.ick b/ci-prod.ick
index 06165b6..fd3c65e 100644
--- a/ci-prod.ick
+++ b/ci-prod.ick
@@ -555,18 +555,6 @@ 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.liw.fi/riki
-      workspace_name: riki
-    pipelines: *deb_ci_rustup_with_check_pipelines
-
   - project: jt2
     parameters:
       <<: *dummy_program_params
-- 
cgit v1.2.1