From c4e90d60194b9c4dc53a11590a23745176495090 Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Tue, 30 Nov 2021 09:48:39 +0200 Subject: add pandoc-filter-diagram project Sponsored-by: author --- ci-prod.ick | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/ci-prod.ick b/ci-prod.ick index e76c794..21c31f3 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -447,6 +447,17 @@ projects: workspace_name: openpgp-ca pipelines: *deb_ci_rustup_without_check_pipelines + - project: pandoc-filter-diagram + parameters: + <<: *dummy_program_params + sources: + - name: code + repo: git://git.liw.fi/pandoc-filter-diagram + ref: main + location: src + workspace_name: pandoc-filter-diagram + pipelines: *deb_ci_rustup_without_check_pipelines + - project: journal.liw.fi parameters: <<: *website_params -- cgit v1.2.1