aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Brown <mcb30@ipxe.org>2021-02-04 16:15:33 +0000
committerMichael Brown <mcb30@ipxe.org>2021-02-04 16:41:55 +0000
commit1259580ddea89cd628ea842ebdc2f880c2c478bb (patch)
tree141091f544ec09a00cdba4f75ef18e7687e5e039
parenteeca29a1e0e982870c00e82b2d2f19f379e675ce (diff)
downloadipxe-1259580ddea89cd628ea842ebdc2f880c2c478bb.zip
ipxe-1259580ddea89cd628ea842ebdc2f880c2c478bb.tar.gz
ipxe-1259580ddea89cd628ea842ebdc2f880c2c478bb.tar.bz2
[ci] Add GitHub action for Coverity Scanci
Signed-off-by: Michael Brown <mcb30@ipxe.org>
-rw-r--r--.github/workflows/coverity.yml39
1 files changed, 39 insertions, 0 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
new file mode 100644
index 0000000..b5496f5
--- /dev/null
+++ b/.github/workflows/coverity.yml
@@ -0,0 +1,39 @@
+name: Coverity Scan
+
+on:
+ push:
+ branches:
+ - coverity_scan
+ schedule:
+ - cron: '30 0 * * *'
+
+jobs:
+ submit:
+ name: Submit
+ runs-on: ubuntu-20.04
+ steps:
+ - name: Check out code
+ uses: actions/checkout@v2
+ - name: Download Coverity Scan
+ run: |
+ curl --form token=${{ secrets.COVERITY_SCAN_TOKEN }} \
+ --form project=${{ github.repository }} \
+ --output coverity.tar.gz \
+ https://scan.coverity.com/download/cxx/linux64
+ mkdir -p /opt/coverity
+ sudo tar xvzf coverity.tar.gz --strip 1 --directory /opt/coverity
+ - name: Build via Coverity Scan
+ run: |
+ make -C src bin/deps
+ /opt/coverity/bin/cov-build --dir cov-int make -C src bin/blib.a
+ - name: Create submission
+ run : |
+ tar cvzf cov-int.tar.gz cov-int
+ - name: Submit to Coverity Scan
+ run: |
+ curl --form token=${{ secrets.COVERITY_SCAN_TOKEN }} \
+ --form email=${{ secrets.COVERITY_SCAN_EMAIL }} \
+ --form file=@cov-int.tar.gz \
+ --form version=${{ github.sha }} \
+ --form description=${{ github.ref }} \
+ https://scan.coverity.com/builds?project=${{ github.repository }}