]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #13288 from omoerbeek/rec-docs-gen-before-build
authorOtto Moerbeek <otto.moerbeek@open-xchange.com>
Mon, 25 Sep 2023 08:02:42 +0000 (10:02 +0200)
committerGitHub <noreply@github.com>
Mon, 25 Sep 2023 08:02:42 +0000 (10:02 +0200)
rec: modify docs publishing workflow to generate docs


Trivial merge