]> 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: 5355323 2815591)
Merge branch 'manager-ci' into 'manager'
authorVaclav Sraier <vaclav.sraier@nic.cz>
Mon, 21 Nov 2022 12:26:24 +0000 (13:26 +0100)
committerVaclav Sraier <vaclav.sraier@nic.cz>
Mon, 21 Nov 2022 12:26:24 +0000 (13:26 +0100)
ci/pkgtest: remove unused CI configuration file

See merge request knot/knot-resolver!1363


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