From: Petr Špaček <petr.spacek@nic.cz>
Date: Wed, 3 Jan 2018 17:21:48 +0000 (+0100)
Subject: Merge branch 'publish_master_coverage' into 'master'
X-Git-Tag: v2.0.0~48
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=df8835755488daed753d77189ec8511a32f47424;p=thirdparty%2Fknot-resolver.git

Merge branch 'publish_master_coverage' into 'master'

CI: publish coverage only for master branch (on web)

See merge request knot/knot-resolver!426
---

df8835755488daed753d77189ec8511a32f47424