Skip to content

Add CI workflow for building new documentation #1615

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
andistorm wants to merge 2 commits into
base: feature/docs-migration
Choose a base branch
from
Draft

Add CI workflow for building new documentation #1615

andistorm wants to merge 2 commits into from

Conversation

@andistorm
Copy link
Member

@andistorm andistorm commented Dec 8, 2025

Describe your changes

Issue ticket number and link

Checklist before requesting a review

  • I have performed a self-review of my code
  • I have made corresponding changes to the documentation
  • I read the contribution documentation and made sure that my changes meet its requirements

@andistorm andistorm force-pushed the feature/build-docs-in-ci branch 2 times, most recently from 3f8f926 to ea018c3 Compare December 8, 2025 12:49
@Pietfried Pietfried force-pushed the feature/docs-migration branch from 8d0bce3 to 78eeca2 Compare December 8, 2025 15:07
@andistorm andistorm force-pushed the feature/build-docs-in-ci branch from 2a4ddbb to 3b426b0 Compare December 9, 2025 06:56
@Pietfried Pietfried force-pushed the feature/docs-migration branch from 55cca87 to eacde18 Compare December 22, 2025 11:05
@Pietfried Pietfried force-pushed the feature/docs-migration branch from f572402 to cbc4b76 Compare January 5, 2026 11:20
@andistorm andistorm force-pushed the feature/build-docs-in-ci branch 2 times, most recently from c5f04ef to b989040 Compare January 9, 2026 16:49
@andistorm
Add CI for documentation
b2c9e53 
Signed-off-by: Andreas Heinrich <[email protected]>
@andistorm andistorm force-pushed the feature/build-docs-in-ci branch from b989040 to b2c9e53 Compare January 9, 2026 17:05
@andistorm
minor changes
6bf8374 
Signed-off-by: Andreas Heinrich <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@hikinggrass hikinggrass Awaiting requested review from hikinggrass hikinggrass will be requested when the pull request is marked ready for review hikinggrass is a code owner

@a-w50 a-w50 Awaiting requested review from a-w50 a-w50 will be requested when the pull request is marked ready for review a-w50 is a code owner

@corneliusclaussen corneliusclaussen Awaiting requested review from corneliusclaussen corneliusclaussen will be requested when the pull request is marked ready for review corneliusclaussen is a code owner

@Pietfried Pietfried Awaiting requested review from Pietfried Pietfried will be requested when the pull request is marked ready for review Pietfried is a code owner

@SebaLukas SebaLukas Awaiting requested review from SebaLukas SebaLukas will be requested when the pull request is marked ready for review SebaLukas is a code owner

@mlitre mlitre Awaiting requested review from mlitre mlitre will be requested when the pull request is marked ready for review mlitre is a code owner

@djchhp djchhp Awaiting requested review from djchhp djchhp will be requested when the pull request is marked ready for review djchhp is a code owner

@james-ctc james-ctc Awaiting requested review from james-ctc james-ctc will be requested when the pull request is marked ready for review james-ctc is a code owner

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@andistorm