diff options
author | Lars Wirzenius <liw@liw.fi> | 2023-12-30 09:57:06 +0200 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2023-12-30 09:57:06 +0200 |
commit | 5bfe775865e8634a46887494290f7a1a883ccd05 (patch) | |
tree | 7b59a999076e9a1c29d4032ab9dcb6dffabf8220 | |
parent | bab63016d5b2bfd2bfdb100d47c3a205816b8eaf (diff) | |
download | liw-ci-5bfe775865e8634a46887494290f7a1a883ccd05.tar.gz |
drop ambient-run project
Signed-off-by: Lars Wirzenius <liw@liw.fi>
Sponsored-by: author
-rw-r--r-- | ci-prod.ick | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index 6fadc66..029c3bc 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -571,18 +571,6 @@ projects: - format_and_publish_markdowns_as_html - ick/save_workspace - - project: ambient-run - parameters: - <<: *dummy_program_params - sources: - - name: code - repo: git://git.liw.fi/ambient-run - ref: main - location: src - workspace_name: ambient-run - rsync_target: ickliwfi@http.liw.fi:/srv/http/doc.liw.fi/ambient-run - pipelines: *deb_ci_rustup_with_check_pipelines - pipelines: - pipeline: ikiwiki |