[Git][NTPsec/ntpsec][master] Add dedicated CI image for Coverity

[Matt Selsky]

Matt Selsky pushed to branch master at NTPsec / ntpsec


Commits:
aa7e4cda by Matt Selsky at 2020-09-23T23:13:48-04:00
Add dedicated CI image for Coverity

- - - - -


2 changed files:

- + .dockerfiles/coverity
- .gitlab-ci-docker-images.yml


Changes:

=====================================
.dockerfiles/coverity
=====================================
@@ -0,0 +1,6 @@
+# Coverity is picky about the versions of gcc that it has support for, so
+# please test this thoroughly before switching to a newer Debian distribution
+FROM debian:stable-slim
+
+RUN apt-get update
+RUN apt-get install -y netbase bison gcc libssl-dev libcap-dev pps-tools python3-dev libbsd-dev curl git


=====================================
.gitlab-ci-docker-images.yml
=====================================
@@ -41,6 +41,9 @@ build-centos-latest:
 build-clang:
   <<: *build_definition
 
+build-coverity:
+  <<: *build_definition
+
 build-debian-oldstable:
   <<: *build_definition
 



View it on GitLab: https://gitlab.com/NTPsec/ntpsec/-/commit/aa7e4cdad730fb765f5969e40f89061504460ff2

-- 
View it on GitLab: https://gitlab.com/NTPsec/ntpsec/-/commit/aa7e4cdad730fb765f5969e40f89061504460ff2
You're receiving this email because of your account on gitlab.com.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.ntpsec.org/pipermail/vc/attachments/20200924/19053246/attachment.htm>