diff --git a/.github/workflows/reports.yaml b/.github/workflows/reports.yaml index 84e8355f91c5..ede375be3a23 100644 --- a/.github/workflows/reports.yaml +++ b/.github/workflows/reports.yaml @@ -59,15 +59,6 @@ jobs: git add --all . git commit -m 'clang report: Automatic update' - - name: Update PVS report - run: | - cd "${NEOVIM_DIR}" - make distclean - ${GITHUB_WORKSPACE}/ci/pvs-report.sh - cd "$DOC_DIR" - git add --all . - git commit -m 'pvs-report: Automatic update' - - name: Update vimpatch report run: | python -m pip install --user requests diff --git a/README.md b/README.md index d8effd3a37af..84e0b75833ac 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,6 @@ This repo contains automation scripts and CI configuration to run the scripts. - [user/ docs](https://neovim.io/doc/user) - Build reports: - [Clang report](https://neovim.io/doc/reports/clang) - - [PVS-studio report](https://neovim.io/doc/reports/pvs) - [Vimpatch report](https://neovim.io/doc/reports/vimpatch) ## Run Locally diff --git a/ci/pvs-report.sh b/ci/pvs-report.sh deleted file mode 100755 index 3b2f62b486e7..000000000000 --- a/ci/pvs-report.sh +++ /dev/null @@ -1,58 +0,0 @@ -#!/usr/bin/env bash - -set -e -set -o pipefail -set -u -set -x - -shopt -s failglob -shopt -s dotglob - -readonly BUILD_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" -source "$BUILD_DIR/ci/common/common.sh" -source "$BUILD_DIR/ci/common/html.sh" -source "$BUILD_DIR/ci/common/badge.sh" - -readonly DOC_SUBTREE='/reports/pvs' -readonly REPORTS_DIR="$DOC_DIR/$DOC_SUBTREE" - -download_pvs_badge() { - download_badge \ - "$(grep -c '^./' "$REPORTS_DIR/PVS-studio.err")" \ - 'PVS_analysis' \ - "$REPORTS_DIR" -} - -generate_pvs_report() { - local -r index_file="$REPORTS_DIR/index.html" - - rm -rf "$REPORTS_DIR" - mkdir -p "$REPORTS_DIR" - - ( - cd "$NEOVIM_DIR" - - sh ./scripts/pvscheck.sh --environment-cc --pvs detect --pvs-install . - sh ./scripts/pvscheck.sh --environment-cc --deps --recheck . - - # Note: will also copy a binary log with *all* errors, including filtered - # out. This is intentional. - cp -r PVS-studio* "$REPORTS_DIR" - ) - - ( - cd "$REPORTS_DIR" - - local -r body="
$(html_escape < PVS-studio.err)
" - local -r title='PVS-studio analysis results' - - generate_report "$title" "$body" "$index_file" - ) -} - -main() { - generate_pvs_report - download_pvs_badge -} - -main