# Creates and uploads a Coverity build on a schedule
name: Coverity Scan
on:
  schedule:
  # Run once daily, since below 500k LOC can have 21 builds per week, per https://scan.coverity.com/faq#frequency
  - cron: '0 0 * * *'
  # Support manual execution
  workflow_dispatch:
jobs:
  coverity:
    if: github.repository == 'redis/redis'
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v6
    - name: Download and extract the Coverity Build Tool
      run: |
          wget -q https://scan.coverity.com/download/cxx/linux64 --post-data "token=${COVERITY_SCAN_TOKEN}&project=redis-unstable" -O cov-analysis-linux64.tar.gz
          mkdir cov-analysis-linux64
          tar xzf cov-analysis-linux64.tar.gz --strip 1 -C cov-analysis-linux64
      env:
        COVERITY_SCAN_TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}
    - name: Install Redis dependencies
      run: sudo apt install -y gcc tcl8.6 tclx procps libssl-dev
    - name: Build with cov-build
      run: cov-analysis-linux64/bin/cov-build --dir cov-int make
    - name: Upload the result
      run: |
          tar czvf cov-int.tgz cov-int
          curl \
            --form project=redis-unstable \
            --form email="${COVERITY_SCAN_EMAIL}" \
            --form token="${COVERITY_SCAN_TOKEN}" \
            --form file=@cov-int.tgz \
            https://scan.coverity.com/builds
      env:
        COVERITY_SCAN_EMAIL: ${{ secrets.COVERITY_SCAN_EMAIL }}
        COVERITY_SCAN_TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}
