Skip to content

Migrate docs build to GitHub Actions#5541

Open
LiamConnors wants to merge 28 commits intomainfrom
migrate-to-gh-actions
Open

Migrate docs build to GitHub Actions#5541
LiamConnors wants to merge 28 commits intomainfrom
migrate-to-gh-actions

Conversation

@LiamConnors
Copy link
Member

@LiamConnors LiamConnors commented Mar 17, 2026

Description of change

Updates docs build to use GitHub Actions instead of CircleCI. Needs following PR in graphing-library-docs to be merged also plotly/graphing-library-docs#426

Testing strategy

Tested manually by comparing output of builds for CircleCI vs GitHub Actions

Guidelines

@camdecoster camdecoster self-assigned this Mar 18, 2026
name: doc-html
path: doc/build/html/

- name: Create GitHub App token
Copy link
Contributor

Choose a reason for hiding this comment

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

@LiamConnors Curious why we need to create a new token as part of the workflow — is it because the token is very short-lived?

repositories: plotly.py-docs,graphing-library-docs

- name: Checkout plotly.py-docs (built)
if: github.ref_name == 'doc-prod' && github.event_name == 'push'
Copy link
Contributor

Choose a reason for hiding this comment

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

Is there any way to chain these steps together, or nest them under a single if, rather than repeating the same if condition in every step?

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.

3 participants