]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
projects / thirdparty / knot-resolver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 81a7755 8e1242a)
Merge branch 'publish_master_coverage' into 'master'
authorPetr Špaček <petr.spacek@nic.cz>
Wed, 3 Jan 2018 17:21:48 +0000 (18:21 +0100)
committerPetr Špaček <petr.spacek@nic.cz>
Wed, 3 Jan 2018 17:21:48 +0000 (18:21 +0100)
CI: publish coverage only for master branch (on web)

See merge request knot/knot-resolver!426


Trivial merge
Mirror of https://gitlab.nic.cz/knot/knot-resolver.git