]> git.ipfire.org Git - thirdparty/krb5.git/commit
Add doc build to Github Actions config 1118/head
authorGreg Hudson <ghudson@mit.edu>
Sun, 20 Sep 2020 20:41:08 +0000 (16:41 -0400)
committerGreg Hudson <ghudson@mit.edu>
Tue, 22 Sep 2020 21:31:01 +0000 (17:31 -0400)
commit414d67b321e79b2f33d578a1e7fdf7dee726cdde
tree65fb69c3029ff7b32003cac60459b806a544753e
parentafc494ef9418e6be7fbb887364efa6606b10034a
Add doc build to Github Actions config

Add a second workflow to build documentation, with the HTML output as
a generated artifact.  Skip the doc workflow if no documentation files
were changed.  Skip the existing build workflow if no source files
were changed.
.github/workflows/build.yml
.github/workflows/doc.yml [new file with mode: 0644]