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 787ae90..22b75ca 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -859,6 +859,23 @@ projects: rsync_target: ickliwfi@http.liw.fi:/srv/http/doc.liw.fi/ewww pipelines: *deb_ci_rustup_with_check_pipelines + - project: ewww.liw.fi + parameters: + <<: *website_params + workspace_name: ewww.liw.fi + rsync_src: html + rsync_target: ickliwfi@http.liw.fi:/srv/http/ewww.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/ewww.liw.fi + pipelines: *website_pipelines + - project: subplot parameters: <<: *dummy_program_params |