diff options
-rw-r--r-- | ci-prod.ick | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index cdf8049..405fe3a 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -545,6 +545,24 @@ projects: - dsilvers@digital-scurf.org pipelines: *website_pipelines + - project: vmadm.liw.fi + parameters: + <<: *website_params + workspace_name: vmadm.liw.fi + rsync_target: ickliwfi@http.liw.fi:/srv/http/vmadm.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: git://git.liw.fi/vmadm.liw.fi + notify: + - liw@liw.fi + pipelines: *website_pipelines + - project: seinfeld.liw.fi parameters: <<: *website_params |