coverity.yml

name: Coverity Scan
on:
  workflow_dispatch: # run whenever a contributor calls it
  schedule: 
    - cron: '48 5 * * *' # Run at 05:48
    # Coverity will let GRASS do a scan a maximum of twice per day, so this schedule will help GRASS fit within that limit with some additional space for manual runs
  
jobs:
  build:
    runs-on: [ ubuntu-latest ]
    steps:
      - name: Checkout Source
        uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
      - name: Coverity Scan
        uses: synopsys-sig/synopsys-action@cef5e38596faf5d2787bbff78a5d7255a9f7682b # v1.8.0
        with:
          ### SCANNING: Required fields
          coverity_url: ${{ secrets.COVERITY_URL }}               # The URL to Coverity
          coverity_user: ${{ secrets.COVERITY_USER }}             # The user for the Coverity project
          coverity_passphrase: ${{ secrets.COVERITY_PASSPHRASE }} # The password for the Coverity user