diff options
| -rw-r--r-- | ci-prod.ick | 18 |
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 |