diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/coverity.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index 09ab124..556dd43 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml | |||
| @@ -13,6 +13,9 @@ concurrency: | |||
| 13 | jobs: | 13 | jobs: |
| 14 | scan: | 14 | scan: |
| 15 | name: "Scan" | 15 | name: "Scan" |
| 16 | environment: | ||
| 17 | name: "coverity" | ||
| 18 | deployment: false | ||
| 16 | runs-on: "ubuntu-24.04" | 19 | runs-on: "ubuntu-24.04" |
| 17 | if: github.repository_owner == 'libressl' # Prevent running on forks | 20 | if: github.repository_owner == 'libressl' # Prevent running on forks |
| 18 | permissions: | 21 | permissions: |