diff options
Diffstat (limited to 'ci-prod.ick')
-rw-r--r-- | ci-prod.ick | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index 80d3a8b..b78c5ff 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -823,6 +823,18 @@ 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-rs + 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 |