From bab63016d5b2bfd2bfdb100d47c3a205816b8eaf Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Sat, 30 Dec 2023 09:55:52 +0200 Subject: drop html-page project Signed-off-by: Lars Wirzenius Sponsored-by: author --- ci-prod.ick | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/ci-prod.ick b/ci-prod.ick index 79cd8d0..6fadc66 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -571,24 +571,6 @@ projects: - format_and_publish_markdowns_as_html - ick/save_workspace - - project: html-page - parameters: - <<: *dummy_program_params - notify: [liw@liw.fi] - workspace_name: html-page - sources: - - name: source - ref: main - location: src - repo: ssh://git@git.liw.fi/html-page - pipelines: - - ick/setup_container - - ick/restore_workspace - - ick/get_sources - - rustup - - rust_run_check_if_there - - ick/save_workspace - - project: ambient-run parameters: <<: *dummy_program_params -- cgit v1.2.1