]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
projects / thirdparty / gnutls.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 6a6a3d4 536f10e)
Merge branch 'ci-rework' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Fri, 8 Jan 2021 10:19:43 +0000 (10:19 +0000)
committerDaiki Ueno <ueno@gnu.org>
Fri, 8 Jan 2021 10:19:43 +0000 (10:19 +0000)
CI pipeline rework - using stages and inheritance

See merge request gnutls/gnutls!1366


Trivial merge
Mirror of https://gitlab.com/gnutls/gnutls.git