[gnutls-devel] GnuTLS | .gitlab-ci.yml: removed coverity build [ci skip] (!1095)
Development of GNU's TLS library
gnutls-devel at lists.gnutls.org
Thu Oct 10 22:00:00 CEST 2019
Merge Request !1095 was approved by Tim Rühsen
Merge Request url: https://gitlab.com/gnutls/gnutls/merge_requests/1095
Project:Branches: nmav/gnutls:tmp-remove-coverity to gnutls/gnutls:master
Author: Nikos Mavrogiannopoulos
Assignees:
--
Reply to this email directly or view it on GitLab: https://gitlab.com/gnutls/gnutls/merge_requests/1095
You're receiving this email because of your account on gitlab.com.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.gnupg.org/pipermail/gnutls-devel/attachments/20191010/e1684a6f/attachment.html>
More information about the Gnutls-devel
mailing list