]> source.dussan.org Git - nextcloud-server.git/commitdiff
projects / nextcloud-server.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: dffa155 aa0e90f)
Merge pull request #22167 from nextcloud/debt/noid/coverage-filter
authorMorris Jobke <hey@morrisjobke.de>
Tue, 11 Aug 2020 07:43:19 +0000 (09:43 +0200)
committerGitHub <noreply@github.com>
Tue, 11 Aug 2020 07:43:19 +0000 (09:43 +0200)
Exclude apps/*/tests for coverage calculation


Trivial merge
Nextcloud server, a safe home for all your data: https://github.com/nextcloud/server