diff options
-rw-r--r-- | ci-prod.ick | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index eed6a52..5a2dc92 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -1093,21 +1093,6 @@ projects: - project: ambient-run parameters: - <<: *website_params - workspace_name: ambient-run - 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/ambient-web - notify: - - liw@liw.fi - pipelines: *website_pipelines - parameters: <<: *dummy_program_params sources: - name: code |