Coverity Scan #3
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Creates and uploads a Coverity build on a schedule | |
name: Coverity Scan | |
on: | |
schedule: | |
# Run once daily, since below 500k LOC can have 21 builds per week, per https://scan.coverity.com/faq#frequency | |
- cron: '0 0 * * *' | |
# Support manual execution | |
workflow_dispatch: | |
jobs: | |
coverity: | |
if: github.repository == 'valkey-io/valkey' | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@main | |
- name: Download and extract the Coverity Build Tool | |
run: | | |
wget -q https://scan.coverity.com/download/cxx/linux64 --post-data "token=${{ secrets.COVERITY_SCAN_TOKEN }}&project=valkey-unstable" -O cov-analysis-linux64.tar.gz | |
mkdir cov-analysis-linux64 | |
tar xzf cov-analysis-linux64.tar.gz --strip 1 -C cov-analysis-linux64 | |
- name: Install Valkey dependencies | |
run: sudo apt install -y gcc tcl8.6 tclx procps libssl-dev | |
- name: Build with cov-build | |
run: cov-analysis-linux64/bin/cov-build --dir cov-int make | |
- name: Upload the result | |
run: | | |
tar czvf cov-int.tgz cov-int | |
curl \ | |
--form project=valkey-unstable \ | |
--form email=${{ secrets.COVERITY_SCAN_EMAIL }} \ | |
--form token=${{ secrets.COVERITY_SCAN_TOKEN }} \ | |
--form [email protected] \ | |
https://scan.coverity.com/builds |