summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ci-prod.ick38
1 files changed, 0 insertions, 38 deletions
diff --git a/ci-prod.ick b/ci-prod.ick
index 7382d72..c5cc390 100644
--- a/ci-prod.ick
+++ b/ci-prod.ick
@@ -385,44 +385,6 @@ projects:
- generate_obnam_benchmark_report
- ick/save_workspace
- - project: v-i
- parameters:
- <<: *dummy_program_params
- sources:
- - name: code
- repo: git://git.liw.fi/v-i
- ref: main
- location: src
- workspace_name: v-i
- rsync_target: ickliwfi@http.liw.fi:/srv/http/doc.liw.fi/v-i
- pipelines:
- - ick/setup_container
- - ick/add_apt_signing_keys
- - ick/add_apt_sources
- - ick/restore_workspace
- - ick/get_sources
- - format_and_publish_markdowns_as_html
- - ick/save_workspace
-
- - project: puomi
- parameters:
- <<: *dummy_program_params
- sources:
- - name: code
- repo: git://git.liw.fi/puomi
- ref: main
- location: src
- workspace_name: puomi
- rsync_target: ickliwfi@http.liw.fi:/srv/http/doc.liw.fi/puomi
- pipelines:
- - ick/setup_container
- - ick/add_apt_signing_keys
- - ick/add_apt_sources
- - ick/restore_workspace
- - ick/get_sources
- - format_and_publish_markdowns_as_html
- - ick/save_workspace
-
pipelines:
- pipeline: ikiwiki