Coverity Scan #20
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 | |
| coverity_version: '2023.6.2' # The version for Coverity Scan |