summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2023-12-30 09:55:52 +0200
committerLars Wirzenius <liw@liw.fi>2023-12-30 09:55:52 +0200
commitbab63016d5b2bfd2bfdb100d47c3a205816b8eaf (patch)
tree1a8350191d7763003fd53f14f36536bc27af4e09
parentb3dcca28e920e2357d181e0c3ed8b61b9ea73acf (diff)
downloadliw-ci-bab63016d5b2bfd2bfdb100d47c3a205816b8eaf.tar.gz
drop html-page project
Signed-off-by: Lars Wirzenius <liw@liw.fi> Sponsored-by: author
-rw-r--r--ci-prod.ick18
1 files changed, 0 insertions, 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