e2a3f3091f
Coverity project name was changed from redis to redis-unstable. Fix the upload destination to also go to redis-unstable. Continuation of #12807
33 lines
1.3 KiB
YAML
33 lines
1.3 KiB
YAML
# 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 == 'redis/redis'
|
|
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=redis-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 Redis 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=redis-unstable \
|
|
--form email=${{ secrets.COVERITY_SCAN_EMAIL }} \
|
|
--form token=${{ secrets.COVERITY_SCAN_TOKEN }} \
|
|
--form file=@cov-int.tgz \
|
|
https://scan.coverity.com/builds
|