]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'wip/dueno/ci-remove-valgrind' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Sun, 1 May 2022 07:44:44 +0000 (07:44 +0000)
committerDaiki Ueno <ueno@gnu.org>
Sun, 1 May 2022 07:44:44 +0000 (07:44 +0000)
.gitlab-ci.yml: replace valgrind checks with ASan

See merge request gnutls/gnutls!1467


Trivial merge