-
Notifications
You must be signed in to change notification settings - Fork 256
40 lines (37 loc) · 1.15 KB
/
coverity.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
name: Coverity scan
on:
# coverity_daily job runs once daily at 00:30 UTC due to
# https://scan.coverity.com/faq#frequency
schedule:
- cron: "30 0 * * *"
# coverity_label job triggers if PR has 'coverity' label set.
# This job likely cannot be re-run on the same day or we will
# hit the build submission limit (see above link)
pull_request_target:
branches:
- master
types:
- labeled
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
coverity:
if: |
github.event_name == 'schedule' ||
(github.event.label.name == 'coverity' && github.event_name == 'pull_request_target')
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Install dependencies
uses: ./.github/actions/install-dependencies
- name: Configure
uses: ./.github/actions/configure
- name: Execute and submit coverity scan
uses: vapier/[email protected]
with:
email: "[email protected]"
token: ${{ secrets.COVERITY_SCAN_TOKEN }}
working-directory: x86_64