GitHub pages action - #543
Merged
Merged
Conversation
Move documentation build and publishing from Azure Pipelines to a new GitHub Actions workflow. Pushes to main publish to atomica.tools/docs/main/, and pull requests get a preview at atomica.tools/docs/pr-preview/pr-<N>/ that is commented on the PR and removed when the PR closes. Both deploy to the separate atomicateam/docs hosting repo. Remove the now-redundant docs job from azure-pipelines.yml (tests and PyPI publishing stay on Azure for now) and repoint hardcoded /docs/master/ links in the tutorial notebooks to /docs/main/.
Correct obvious spelling and doubled-word typos in the timed transitions, population types, programs, and optimization documentation pages.
There was a problem hiding this comment.
Claude Code Review
This repository is configured for manual code reviews. Comment @claude review for a one-time review, or @claude review always to subscribe this PR to a review on every future push.
Tip: disable this comment in your organization's Code Review settings.
|
Fold the docs subpath into pages-base-url so the preview comment links to atomica.tools/docs/pr-preview/pr-<N>/ (pages-base-path only strips a prefix and was not added to the URL). Disable the QR code and wait for the Pages deployment before posting the comment.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Move docs build pipeline to Github Pages