diff options
-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 0ab0883..c9ff5e8 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -438,18 +438,6 @@ projects: rsync_target: ickliwfi@http.liw.fi:/srv/http/doc.liw.fi/vmadm pipelines: *deb_ci_rustup_without_check_pipelines - - project: ewww - parameters: - <<: *dummy_program_params - sources: - - name: code - repo: git://git.liw.fi/ewww - ref: main - location: src - workspace_name: ewww - rsync_target: ickliwfi@http.liw.fi:/srv/http/doc.liw.fi/ewww - pipelines: *deb_ci_rustup_with_check_pipelines - - project: obnam-benchmark parameters: <<: *dummy_program_params |