diff options
-rw-r--r-- | ci-prod.ick | 38 |
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 |