diff options
author | Lars Wirzenius <liw@liw.fi> | 2023-12-30 08:30:24 +0200 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2023-12-30 08:30:24 +0200 |
commit | 8bb91b018e7dff43007b56e2636ba838fe9be5c5 (patch) | |
tree | 164fafe10508b52df9b60b02cc99e53244952f05 | |
parent | 548e439891c323a41d6b5483e14df0fbf3ba780d (diff) | |
download | liw-ci-8bb91b018e7dff43007b56e2636ba838fe9be5c5.tar.gz |
drop riki project
Signed-off-by: Lars Wirzenius <liw@liw.fi>
Sponsored-by: author
-rw-r--r-- | ci-prod.ick | 12 |
1 files changed, 0 insertions, 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 |