diff options
-rw-r--r-- | ci-prod.ick | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index 0ea1a70..4366c92 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -751,6 +751,18 @@ projects: workspace_name: obnam pipelines: *deb_ci_rustup_with_check_pipelines + - project: ick2 + parameters: + <<: *dummy_program_params + sources: + - name: code + repo: git://git.liw.fi/ick2 + ref: master + location: src + rsync_target: ickliwfi@http.liw.fi:/srv/http/trash + workspace_name: ick2 + pipelines: *deb_ci_pipelines + pipelines: @@ -967,4 +979,3 @@ pipelines: ./check fi fi - |