diff options
Diffstat (limited to 'ci-prod.ick')
-rw-r--r-- | ci-prod.ick | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index 00eded9..0d81e04 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -846,21 +846,6 @@ projects: - dsilvers@digital-scurf.org pipelines: *deb_ci_rustup_with_check_pipelines - - project: subplot-user-guide - parameters: - <<: *dummy_program_params - sources: - - name: code - repo: git://git.liw.fi/subplot - ref: main - location: src - workspace_name: subplot-user-guide - rsync_target: ickliwfi@http.liw.fi:/srv/http/doc.subplot.tech - notify: - - liw@liw.fi -# - dsilvers@digital-scurf.org - pipelines: *deb_ci_rustup_with_check_pipelines - - project: obnam parameters: <<: *dummy_program_params |