Skip to content

ci: deploy docs#641

Merged
George-Miao merged 3 commits intomasterfrom
ci/deploy-docs
Jan 23, 2026
Merged

ci: deploy docs#641
George-Miao merged 3 commits intomasterfrom
ci/deploy-docs

Conversation

@George-Miao
Copy link
Member

No description provided.

@George-Miao George-Miao force-pushed the ci/deploy-docs branch 4 times, most recently from 1b388dc to 89bbe73 Compare January 23, 2026 18:27
@George-Miao George-Miao self-assigned this Jan 23, 2026
@George-Miao George-Miao added documentation Improvements or additions to documentation ci github action and other ci-related change labels Jan 23, 2026
Copy link
Contributor

Copilot AI left a comment

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 adds continuous deployment infrastructure for the project's documentation. It creates a landing page that provides access to platform-specific documentation builds and sets up automated deployment to Cloudflare Pages.

Changes:

  • Added an HTML landing page that links to documentation for different platforms (Linux, Windows, macOS)
  • Created a GitHub Actions workflow that builds documentation for multiple targets and deploys to Cloudflare Pages
  • Configured the workflow to build platform-specific docs using nightly Rust with docs.rs compatibility flags

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.

File Description
docs/index.html Landing page providing navigation to platform-specific documentation with warning about master branch builds
.github/workflows/cd_deploy_docs.yml CI/CD workflow that builds multi-platform documentation and deploys to Cloudflare Pages

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@George-Miao George-Miao requested a review from Berrysoft January 23, 2026 18:47
@George-Miao George-Miao merged commit 3016ec7 into master Jan 23, 2026
59 checks passed
@George-Miao George-Miao deleted the ci/deploy-docs branch January 23, 2026 19:06
This was referenced Jan 28, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci github action and other ci-related change documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants