From 65d492f5373b8d8956d1d1a6dc82a3290e40e23d Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Sat, 30 Dec 2023 09:58:10 +0200 Subject: drop pandoc-filter-diagram project Signed-off-by: Lars Wirzenius Sponsored-by: author --- ci-prod.ick | 11 ----------- 1 file changed, 11 deletions(-) (limited to 'ci-prod.ick') diff --git a/ci-prod.ick b/ci-prod.ick index 029c3bc..01c6cb7 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -368,17 +368,6 @@ projects: - format_subplots - ick/save_workspace - - 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: vmdb2-manual parameters: <<: *website_params -- cgit v1.2.1