diff options
| author | Jan-Michael Brummer <jan.brummer@tabos.org> | 2023-05-02 10:53:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-02 10:53:36 +0200 |
| commit | d159c5f40ff7e82354e45116d9b66b1f596d9320 (patch) | |
| tree | 34506d9ee6c699444a170c6bba8c925c45407d3e /.github/workflows/coverity.yml | |
| parent | 8fec01ed4b95afc71bf7710bf5b736a5de03b343 (diff) | |
| parent | 5272fb3d114f0d012871380bd429546c73f0226d (diff) | |
| download | libproxy-git-d159c5f40ff7e82354e45116d9b66b1f596d9320.tar.gz | |
Merge pull request #201 from janbrummer/rewrite
Complete rewrite
Diffstat (limited to '.github/workflows/coverity.yml')
| -rw-r--r-- | .github/workflows/coverity.yml | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml new file mode 100644 index 0000000..b3a9e9b --- /dev/null +++ b/.github/workflows/coverity.yml @@ -0,0 +1,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 |