Merge pull request #4992 from nextcloud/ci/useNoDiscard
authorMatthieu Gallien <matthieu_gallien@yahoo.fr>
Tue, 4 Oct 2022 09:44:46 +0000 (11:44 +0200)
committerGitHub <noreply@github.com>
Tue, 4 Oct 2022 09:44:46 +0000 (11:44 +0200)
Ci/use no discard


Trivial merge