diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml new file mode 100644 index 00000000000..3a910f4d7d6 --- /dev/null +++ b/.github/workflows/coverity.yml @@ -0,0 +1,35 @@ +name: "Coverity Scan" + +on: + # FIXME: This is here for testing, should be removed before merging + pull_request: + push: + branches: + - master + - coverity-test + +permissions: read-all + +jobs: + coverity: + name: Coverity static analysis + runs-on: ubuntu-24.04 + timeout-minutes: 120 + steps: + - uses: actions/checkout@v5 + with: + fetch-depth: 0 + - uses: ./.github/actions/install-nix-action + with: + dogfood: false + extra_nix_config: experimental-features = nix-command flakes + - name: configure + run: nix develop --configure + - uses: vapier/coverity-scan-action@v1 + with: + project: NixOS/nix + email: ${{ secrets.COVERITY_SCAN_EMAIL }} + token: ${{ secrets.COVERITY_SCAN_TOKEN }} + build_language: cxx + command: nix develop --build + version: ${{ github.sha }}