]> 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: acb97b8 57f665f)
Merge branch 'ci-deckard-update' into 'master'
authorPetr Špaček <petr.spacek@nic.cz>
Thu, 23 Aug 2018 08:42:15 +0000 (08:42 +0000)
committerPetr Špaček <petr.spacek@nic.cz>
Thu, 23 Aug 2018 08:42:15 +0000 (08:42 +0000)
ci: update Deckard in attempt to make CI more reliable

See merge request knot/knot-resolver!658


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