diff options
-rw-r--r-- | ci-prod.ick | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index c543cb7..0ab0883 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -344,7 +344,6 @@ projects: - rustup - ick/install_debian_build_dependencies - rust_run_check_if_there - - publish_subplot_lib_docs - build_deb_ci_with_rustup_rust - build_deb_releases - ick/upload_debs @@ -364,7 +363,6 @@ projects: - build_deb_ci_with_rustup_rust - build_deb_releases - ick/upload_debs - - publish_subplot_lib_docs - format_subplots - ick/save_workspace @@ -913,12 +911,3 @@ pipelines: - where: host action: rsync - - - pipeline: publish_subplot_lib_docs - actions: - - where: container - shell: | - if [ -e test-outputs/libdocs ]; then - mkdir -p /workspace/publish/libdocs - cp test-outputs/libdocs/*.html /workspace/publish/libdocs - fi |