aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Collapse)AuthorFilesLines
2021-07-12Fix doc build for Sphinx 4.0Greg Hudson1-1/+15
Use app.add_css_file() to register krb5.css if possible (it was added in Sphinx 1.8), since the old name app.add_stylesheet() was removed in Sphinx 4.0. Use the highlight directive instead of the highlightlang directive, which was removed in Sphinx 4.0. Remove two duplicate table of contents entries to fix warnings. In the Github Actions configuration, add a second doc build using the newest version of Sphinx. (cherry picked from commit 3fa40a32e22cb9de91fa1d18deddcba446515855) ticket: 9006 version_fixed: 1.19.2
2020-09-22Add doc build to Github Actions configGreg Hudson2-1/+30
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.
2020-03-16Remove Perl workaround in Github Actions configGreg Hudson1-2/+2
The Github Actions runners for Windows now place Strawberry Perl earlier in the path than git-bash.
2020-02-17Run CI builds on pull requestsGreg Hudson1-1/+1
2020-02-17Use GitHub Actions for CIMichael Mattioli1-0/+97
Use Github Actions instead of Travis and AppVeyor. In the Windows installer config, add support for Visual Studio 2019 (aka 16.0). [ghudson@mit.edu: switched to Ubuntu 18.04 for Linux builds; removed macOS build job for now; added more packages to avoid skipping tests; made it easier to see skipped tests and to see files not cleaned; added make install command; adjusted Windows build path]