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 1ab5ec9..947b384 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -929,6 +929,23 @@ projects: workspace_name: riki pipelines: *deb_ci_rustup_with_check_pipelines + - project: riki.liw.fi + parameters: + <<: *website_params + workspace_name: riki.liw.fi + rsync_src: html + rsync_target: ickliwfi@http.liw.fi:/srv/http/riki.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/riki-web + pipelines: *website_pipelines + # - project: bumper # parameters: # <<: *dummy_program_params |