diff options
Diffstat (limited to 'ci-prod.ick')
-rw-r--r-- | ci-prod.ick | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index 9de5974..cc735a4 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -1096,6 +1096,25 @@ projects: repo: ssh://git@git.liw.fi/v-i.liw.fi pipelines: *website_pipelines + - project: puomi + parameters: + <<: *dummy_program_params + sources: + - name: code + repo: git://git.liw.fi/puomi + ref: main + location: src + workspace_name: v-i + 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 + - project: puomi.liw.fi parameters: <<: *website_params |