Skip to content

Deploy documentation with Documenter#5

Merged
JacobGunnell merged 2 commits into
mainfrom
codex/deploy-documentation
Jul 20, 2026
Merged

Deploy documentation with Documenter#5
JacobGunnell merged 2 commits into
mainfrom
codex/deploy-documentation

Conversation

@Krastanov

@Krastanov Krastanov commented Jul 20, 2026

Copy link
Copy Markdown
Member

This was an AI-generated PR as I was cleaning up some CI-related setups in this github org. I have vetted it and it should be good to merge. Now each PR will also have a documentation draft generated and posted as well, for review before merge. Below is the original AI generated description.


Summary

  • deploy the existing Documenter site to this repository with pull-request previews
  • run documentation deployment for main, tags, and pull requests
  • use the organization-standard julia-actions/julia-docdeploy workflow with both GITHUB_TOKEN and DOCUMENTER_KEY
  • let TagBot authenticate with the same Documenter SSH key so tag pushes trigger versioned docs

A matched repository secret and verified writable deploy key were installed before this PR was opened.

Validation

  • instantiated the docs environment with Genqo developed locally
  • built docs/make.jl successfully with Documenter 1.17
  • parsed both changed workflows as YAML
  • git diff --check

@Krastanov Krastanov added the documentation Improvements or additions to documentation label Jul 20, 2026
@Krastanov
Krastanov requested a review from JacobGunnell July 20, 2026 20:25

@JacobGunnell JacobGunnell left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

These changes look great. Thank you!

@JacobGunnell
JacobGunnell merged commit 0c75f52 into main Jul 20, 2026
6 checks passed
@JacobGunnell
JacobGunnell deleted the codex/deploy-documentation branch July 20, 2026 23:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants