diff --git a/.github/workflows/analysis.yml b/.github/workflows/analysis.yml deleted file mode 100644 index 71e16574..00000000 --- a/.github/workflows/analysis.yml +++ /dev/null @@ -1,23 +0,0 @@ -name: Static analysis -on: - - push - - pull_request - -env: - # Force colored output (see https://bixense.com/clicolors/ and https://force-color.org/) - TERM: xterm-256color - CLICOLOR: 1 - CLICOLOR_FORCE: 1 - -jobs: - analysis: - runs-on: ubuntu-latest - steps: - - name: Checkout repo - uses: actions/checkout@v6 - - name: Install deps - run: | - ./.github/scripts/install_deps.sh ubuntu-latest - - name: Static analysis - run: | # Silence warnings with too many false positives (https://stackoverflow.com/a/73913076) - make -kj CXX=g++-14 CXXFLAGS="-fanalyzer -fanalyzer-verbosity=0 -Wno-analyzer-use-of-uninitialized-value -DNDEBUG" Q=