2020-04-18 18:06:14 +05:30
|
|
|
# based on https://github.com/ruby/actions-coverity-scan/blob/282dd059/.github/workflows/coverity-scan.yml
|
|
|
|
name: coverity-scan
|
|
|
|
on:
|
2020-04-18 18:12:16 +05:30
|
|
|
push
|
|
|
|
#schedule:
|
|
|
|
# - cron: '0 18 * * *' # Daily at 18:00 UTC
|
2020-04-18 18:06:14 +05:30
|
|
|
|
|
|
|
jobs:
|
|
|
|
latest:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2020-04-18 18:38:38 +05:30
|
|
|
|
|
|
|
- name: Setup container
|
2020-04-18 18:06:14 +05:30
|
|
|
run: |
|
|
|
|
|
|
|
|
- name: Checkout void-linux/xbps
|
|
|
|
run: |
|
|
|
|
git clone --depth=1 https://github.com/void-linux/xbps .
|
|
|
|
|
|
|
|
- name: Download Coverity Build Tool
|
|
|
|
run: |
|
2020-04-18 18:25:15 +05:30
|
|
|
wget -q https://scan.coverity.com/download/linux64 --post-data "token=$TOKEN&project=void-linux%2Fxbps" -O cov-analysis-linux64.tar.gz
|
2020-04-18 18:06:14 +05:30
|
|
|
mkdir cov-analysis-linux64
|
|
|
|
tar xzf cov-analysis-linux64.tar.gz --strip 1 -C cov-analysis-linux64
|
|
|
|
env:
|
|
|
|
TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}
|
|
|
|
|
2020-04-18 18:47:10 +05:30
|
|
|
- name: Configure and build in voidlinux/voilinux container
|
2020-04-18 18:06:14 +05:30
|
|
|
run: |
|
2020-04-18 18:47:10 +05:30
|
|
|
docker pull voidlinux/voidlinux
|
2020-04-18 18:38:38 +05:30
|
|
|
docker run -v "$PWD":/tmp/build-dir -w "/tmp/build-dir" voidlinux/voidlinux \
|
2020-04-18 18:47:10 +05:30
|
|
|
/bin/sh -c "xbps-install -Syu xbps && xbps-install -yu &&
|
|
|
|
xbps-install -y gcc make pkgconf kyua zlib-devel libarchive-devel atf-devel &&
|
2020-04-18 18:53:46 +05:30
|
|
|
CC=gcc ./configure --enable-tests &&
|
2020-04-18 18:47:10 +05:30
|
|
|
PATH=/tmp/build-dir/cov-analysis-linux64/bin:\$PATH cov-build --dir cov-int make -j\$(nproc)"
|
2020-04-18 18:06:14 +05:30
|
|
|
|
|
|
|
- name: Submit the result to Coverity Scan
|
|
|
|
run: |
|
2020-04-18 19:09:00 +05:30
|
|
|
tar czvf xbps.tgz --ignore-failed-read cov-int
|
2020-04-18 18:06:14 +05:30
|
|
|
curl \
|
2020-04-18 18:17:38 +05:30
|
|
|
--form project=xbps \
|
2020-04-18 18:06:14 +05:30
|
|
|
--form token=$TOKEN \
|
|
|
|
--form email=github@voidlinux.org \
|
|
|
|
--form file=@xbps.tgz \
|
|
|
|
--form version=trunk \
|
2020-04-18 18:17:38 +05:30
|
|
|
--form description="github action coverity scan" \
|
|
|
|
https://scan.coverity.com/builds?project=void-linux%2Fxbps
|
2020-04-18 18:06:14 +05:30
|
|
|
env:
|
|
|
|
TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}
|