summaryrefslogtreecommitdiff
path: root/.github/workflows/coverity.yml
blob: b3a9e9b132aead67f311d7685c28616e0d54d6ab (plain)
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
41
42
43
---
# vi: ts=2 sw=2 et:
# SPDX-License-Identifier: LGPL-2.1-or-later
#
name: Coverity

on:
  workflow_dispatch:
  schedule:
    # Run Coverity daily at midnight
    - cron:  '0 0 * * *'

permissions:
  contents: read

jobs:
  build:
    runs-on: ubuntu-22.04
    if: github.repository == 'libproxy/libproxy'
    env:
      # Set in repo settings -> secrets -> actions
      COVERITY_SCAN_TOKEN:              "${{ secrets.COVERITY_SCAN_TOKEN }}"
      COVERITY_SCAN_NOTIFICATION_EMAIL: "${{ secrets.COVERITY_SCAN_NOTIFICATION_EMAIL }}"
    steps:
      - name: Repository checkout
        uses: actions/checkout@755da8c3cf115ac066823e79a1e1788f8940201b
      - name: Ubuntu Setup
        if: runner.os == 'Linux'
        run: |
          sudo apt-get update
          sudo apt install \
          libglib2.0-dev \
          libgirepository1.0-dev \
          duktape-dev \
          libsoup-3.0-dev \
          meson \
          gcovr \
          gi-docgen \
          gsettings-desktop-schemas-dev \
          libcurl4-openssl-dev \
          valac
      - name: Build & upload the results
        run: .github/coverity.sh