]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #12431 from fredmorcos/gh-actions-docs
authorOtto Moerbeek <otto.moerbeek@open-xchange.com>
Fri, 20 Jan 2023 12:04:59 +0000 (13:04 +0100)
committerGitHub <noreply@github.com>
Fri, 20 Jan 2023 12:04:59 +0000 (13:04 +0100)
Migration of CircleCI documentation generation and upload to Github Actions


Trivial merge