]> 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: 94af3ef 5958164)
Merge branch 'ci-deckard-valgrind' into 'master'
authorPetr Špaček <petr.spacek@nic.cz>
Wed, 11 Oct 2017 14:09:28 +0000 (16:09 +0200)
committerPetr Špaček <petr.spacek@nic.cz>
Wed, 11 Oct 2017 14:09:28 +0000 (16:09 +0200)
Check deckard with valgrind during CI

See merge request knot/knot-resolver!365


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