]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'wip/dueno/interruptible' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Tue, 9 Aug 2022 10:31:48 +0000 (10:31 +0000)
committerDaiki Ueno <ueno@gnu.org>
Tue, 9 Aug 2022 10:31:48 +0000 (10:31 +0000)
.gitlab-ci.yml: mark all CI jobs interruptible

Closes #1390

See merge request gnutls/gnutls!1628

1  2 
.gitlab-ci.yml

diff --cc .gitlab-ci.yml
Simple merge