]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #16996 from nextcloud/backport/16982/stable15
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Wed, 4 Sep 2019 09:06:36 +0000 (11:06 +0200)
committerGitHub <noreply@github.com>
Wed, 4 Sep 2019 09:06:36 +0000 (11:06 +0200)
[stable15] Only run code coverage CI on merge


Trivial merge