blob: bb6a805be69542719cef87a7ab8bac4d860ca328 (
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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
# GitHub Actions workflow to run Coverity scans.
name: "Coverity"
on:
workflow_dispatch:
schedule:
- cron: "0 0 * * *" # At 00:00 daily.
concurrency:
group: "${{ github.workflow }}-${{ github.ref }}"
cancel-in-progress: true
jobs:
scan:
name: "Scan"
runs-on: "ubuntu-latest"
if: github.repository_owner == 'libressl' # Prevent running on forks
permissions:
contents: read
steps:
- name: "Checkout repository"
uses: actions/checkout@v4
- name: "Install dependencies"
run: |
sudo apt-get update
sudo apt-get install -y cmake ninja-build
- name: "Download Coverity build tool"
env:
PROJECT: "libressl-portable%2Fportable"
COVERITY_SCAN_TOKEN: "${{ secrets.COVERITY_SCAN_TOKEN }}"
run: |
wget -c -N https://scan.coverity.com/download/linux64 --post-data "token=$COVERITY_SCAN_TOKEN&project=$PROJECT" -O coverity_tool.tar.gz
mkdir coverity_tool
tar xzf coverity_tool.tar.gz --strip 1 -C coverity_tool
- name: "Setup"
run: |
./autogen.sh
./configure
make dist
tar zxf libressl-*.tar.gz
rm libressl-*.tar.gz
cd libressl-*
mkdir build-static
mkdir build-shared
cmake -GNinja -DBUILD_SHARED_LIBS=ON ..
- name: "Build with Coverity build tool"
run: |
export PATH=`pwd`/coverity_tool/bin:$PATH
cd libressl-*
cov-build --dir cov-int ninja
- name: "Submit build result to Coverity Scan"
env:
EMAIL: "libressl-security@openbsd.org"
PROJECT: "libressl-portable%2Fportable"
COVERITY_SCAN_TOKEN: "${{ secrets.COVERITY_SCAN_TOKEN }}"
run: |
cd libressl-*
tar czvf cov.tar.gz cov-int
curl --form token=$COVERITY_SCAN_TOKEN \
--form email=$EMAIL \
--form file=@cov.tar.gz \
--form version="Commit $GITHUB_SHA" \
--form description="Build submitted via CI" \
https://scan.coverity.com/builds?project=$PROJECT
|
