diff options
-rw-r--r-- | ci-prod.ick | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index d06dc6e..e0a9b14 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -874,17 +874,17 @@ projects: workspace_name: obnam pipelines: *deb_ci_rustup_with_check_pipelines - - project: bumper - parameters: - <<: *dummy_program_params - sources: - - name: code - repo: git://git.liw.fi/bumper-rs - ref: main - location: src - rsync_target: ickliwfi@http.liw.fi:/srv/http/bumper.liw.fi - workspace_name: bumper - pipelines: *deb_ci_rustup_with_check_pipelines + # - project: bumper + # parameters: + # <<: *dummy_program_params + # sources: + # - name: code + # repo: git://git.liw.fi/bumper-rs + # ref: main + # location: src + # rsync_target: ickliwfi@http.liw.fi:/srv/http/bumper.liw.fi + # workspace_name: bumper + # pipelines: *deb_ci_rustup_with_check_pipelines - project: jt2 parameters: |