Skip to content

Update production_deploy_documentation.yml - #214

Merged
Jennings Anderson (jenningsanderson) merged 4 commits into
mainfrom
streamline-build
Jul 21, 2025
Merged

Update production_deploy_documentation.yml#214
Jennings Anderson (jenningsanderson) merged 4 commits into
mainfrom
streamline-build

Conversation

@jenningsanderson

@jenningsanderson Jennings Anderson (jenningsanderson) commented Jul 18, 2025

Copy link
Copy Markdown
Collaborator

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Pull Request Overview

This PR updates the GitHub Actions workflow for production documentation deployment by refactoring the deployment process to use GitHub's newer pages deployment actions. The changes split the workflow into separate build and deploy jobs, add better permission documentation, and replace the legacy deployment method.

  • Restructured workflow from single job to separate build and deploy jobs
  • Updated permissions with inline comments explaining their purpose
  • Replaced JamesIves/github-pages-deploy-action with GitHub's native pages deployment actions
Comments suppressed due to low confidence (1)

.github/workflows/production_deploy_documentation.yml:65

  • The step ID 'docs' is used twice in the workflow (lines 50 and 65). Step IDs should be unique within their respective jobs to avoid confusion and potential issues when referencing outputs.
        id: docs

Comment thread .github/workflows/production_deploy_documentation.yml

@danabauer Dana Bauer (danabauer) left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

thanks for doing this!

@jenningsanderson
Jennings Anderson (jenningsanderson) merged commit fa5199e into main Jul 21, 2025
1 check passed
@jenningsanderson
Jennings Anderson (jenningsanderson) deleted the streamline-build branch July 21, 2025 03:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants