Commit Graph

6 Commits

Author SHA1 Message Date
Edward Thomson
74e9a78d43 ci: only publish documentation on the main repo
Don't try to publish documentation updates on random forks.
2026-06-06 09:18:25 +01:00
Edward Thomson
e447de936d ci: only build docs on main branch pushes
Don't build docs on pushes to maint branches; those docs should only be
built _on release_. In addition, be safer about not creating an existing
branch from a tracking branch.
2024-12-28 10:59:12 +00:00
Edward Thomson
03e0bf3ba2 Documentation generation: verbose generation 2024-12-10 23:41:15 +00:00
Edward Thomson
1da67ef096 Allow documentation (re)generation in CI build
Provide a mechanism to allow the documentation to be force rebuilt.
2024-12-09 12:39:21 +00:00
Edward Thomson
9321800612 Update documentation generation workflow
Ensure that workflows where the main branch exists (eg, anything except
PR workflows) don't try to recreate the main branch. Add a concurrency
token so that we don't have conflicts generating documentation.
2024-11-26 20:00:15 +00:00
Edward Thomson
89cc5ef8e8 Include documentation generator
libgit2 has a new documentation generator that generates API schema from
our headers, then produces reference documentation that is included into
the website directly.
2024-11-25 23:00:07 +00:00