From 18207490bda5f47e53590ba8ba03c360ae7d4870 Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Sat, 30 Dec 2023 07:40:22 +0200 Subject: drop cachedir Signed-off-by: Lars Wirzenius Sponsored-by: author --- ci-prod.ick | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/ci-prod.ick b/ci-prod.ick index f8faebf..f4aed93 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -473,18 +473,6 @@ projects: location: src pipelines: *deb_ci_rustup_with_check_pipelines - - project: cachedir - parameters: - <<: *dummy_program_params - workspace_name: cachedir - rsync_target: ickliwfi@http.liw.fi:/srv/http/doc.liw.fi/cachedir - sources: - - name: code - repo: git://git.liw.fi/cachedir-rs - ref: main - location: src - pipelines: *deb_ci_rustup_with_check_pipelines - - project: vmadm parameters: <<: *dummy_program_params -- cgit v1.2.1