diff options
Diffstat (limited to 'ci-prod.ick')
-rw-r--r-- | ci-prod.ick | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index 7faedb2..2ac94a4 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -884,7 +884,7 @@ projects: location: src rsync_target: ickliwfi@http.liw.fi:/srv/http/doc.obnam.org workspace_name: obnam-benchmark - pipelines: *deb_ci_rustup_with_check_pipelines + pipelines: *deb_ci_rustup_without_check_pipelines # - project: bumper # parameters: |