From: Daiki Ueno <ueno@gnu.org>
Date: Thu, 24 Jul 2025 11:25:12 +0000 (+0900)
Subject: Merge branch 'wip/dueno/ci-optimize' into 'master'
X-Git-Tag: 3.8.11~30
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=1b3725d7f52482eb1233a5be239fb7cec19f8841;p=thirdparty%2Fgnutls.git

Merge branch 'wip/dueno/ci-optimize' into 'master'

.gitlab-ci.yml: optimize the number of builds

See merge request gnutls/gnutls!1991
---

1b3725d7f52482eb1233a5be239fb7cec19f8841