diff options
-rw-r--r-- | ci-prod.ick | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index 9c492da..9de5974 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -1096,6 +1096,23 @@ projects: repo: ssh://git@git.liw.fi/v-i.liw.fi pipelines: *website_pipelines + - project: puomi.liw.fi + parameters: + <<: *website_params + workspace_name: puomi.liw.fi + rsync_src: html + rsync_target: ickliwfi@http.liw.fi:/srv/http/puomi.liw.fi + sources: + - name: pandoc-plugin + ref: master + location: ikiwiki-pandoc + repo: https://github.com/sciunto-org/ikiwiki-pandoc.git + - name: source + ref: main + location: src + repo: ssh://git@git.liw.fi/puomi.liw.fi + pipelines: *website_pipelines + pipelines: |