diff options
Diffstat (limited to 'ci-prod.ick')
-rw-r--r-- | ci-prod.ick | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index f4aed93..7c0c374 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -579,19 +579,6 @@ projects: workspace_name: jt2 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 - systree_name: buster-build-essential - pipelines: *deb_ci_pipelines - - project: heippa parameters: <<: *dummy_program_params |