This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Commit b426076 committed Mar 26, 2024 · 1 / 1
1 parent c6538b4 commit b426076 Copy full SHA for b426076
File tree 1 file changed +44
-0
lines changed
1 file changed +44
-0
lines changed Original file line number Diff line number Diff line change
1
+
2
+ name : Coverity4ovs
3
+
4
+ # Run once a day
5
+ on :
6
+ push :
7
+ branches :
8
+ - master
9
+ # schedule:
10
+ # - cron: '20 0 * * *'
11
+
12
+ jobs :
13
+ coverity :
14
+ runs-on : ubuntu-latest
15
+ steps :
16
+ - uses : actions/checkout@v2
17
+ - name : dep install
18
+ run : |
19
+ python -m pip install -U sphinx
20
+ - name : config
21
+ run : |
22
+ ./boot.sh ; \
23
+ ./configure
24
+ - name : tool download
25
+ run : |
26
+ time wget https://scan.coverity.com/download/linux64 \
27
+ --post-data "token=${{ secrets.COVERITY_TOKEN_OVS }}&project=${{ secrets.COVERITY_PROJECT_NAME }}" \
28
+ --progress=dot:giga -O coverity_tool.tgz
29
+ - name : tool install
30
+ run : |
31
+ ls -alh coverity_tool.tgz ; \
32
+ tar xzf coverity_tool.tgz
33
+ - name : make
34
+ run : time ./cov-analysis*/bin/cov-build --dir cov-int make -j4 || true
35
+ - name : archive
36
+ run : tar czvf ovs-mirror.tgz cov-int
37
+ - name : Coverity upload
38
+ run : |
39
+ curl --form token="${{ secrets.COVERITY_TOKEN_OVS }}" \
40
+ --form email="${{ secrets.COVERITY_EMAIL_ADDR }}" \
41
+ --form file=@${{ secrets.COVERITY_PROJECT_NAME }}.tgz \
42
+ --form version="$(date -u -I)-$(git rev-parse --short HEAD)" \
43
+ --form description="analysis of $(git branch --show-current)" \
44
+ https://scan.coverity.com/builds?project=${{ secrets.COVERITY_PROJECT_NAME }}
You can’t perform that action at this time.
0 commit comments