Skip to content

Docs sourced GitHub actions - #101

Merged
ShantanuKodgirwar merged 7 commits into
mainfrom
docs-sourced-github-actions
Sep 23, 2026
Merged

ShantanuKodgirwar merged 7 commits into
mainfrom
docs-sourced-github-actions

Conversation

@ShantanuKodgirwar

@ShantanuKodgirwar ShantanuKodgirwar commented Sep 22, 2026

Copy link
Copy Markdown
Contributor

Most importantly this PR replaces mkdocs gh-deploy with Github's official pages artifact deployment. It now also automatically deploys after a PR (that includes documentation change) is merged to main. Additionally mkdocstrings is also added as a dependency and an initial API documentation is rendered. However, this is preliminary and would be done in subsequent PRs. Version bump to 0.3.2

However, @roflmaostc you would need to make a small settings change Settings -> Pages -> Source: GitHub Actions. I hope I don't need to bother you about this after this is done. I spoke to @larsloetgering about this (as I mentioned to you) and he added me as a developer but forgot to give me the necessary rights as a maintainer. So it'd be great if this is also sorted out sooner or later :)

Also tagging @dboonz

@ShantanuKodgirwar

ShantanuKodgirwar commented Sep 23, 2026

Copy link
Copy Markdown
Contributor Author

PR #102 continues documentation changes from here and would be merged after this PR.

@ShantanuKodgirwar

Copy link
Copy Markdown
Contributor Author

Made the settings change and should be okay to merge.

@ShantanuKodgirwar
ShantanuKodgirwar merged commit 6de3dd3 into main Sep 23, 2026
3 checks passed
@ShantanuKodgirwar
ShantanuKodgirwar deleted the docs-sourced-github-actions branch September 23, 2026 15:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant