Skip to content

Add GitHub Actions workflow to host docs in GitHub pages#7

Merged
coord-e merged 1 commit into
mainfrom
docs-pages
Sep 15, 2025
Merged

Add GitHub Actions workflow to host docs in GitHub pages#7
coord-e merged 1 commit into
mainfrom
docs-pages

Conversation

@coord-e

@coord-e coord-e commented Sep 15, 2025

Copy link
Copy Markdown
Owner

No description provided.

@coord-e coord-e requested a review from Copilot September 15, 2025 04:37

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 adds a GitHub Actions workflow to automatically generate and deploy Rust documentation to GitHub Pages when changes are pushed to the main branch.

  • Configures a workflow that triggers on pushes to the main branch
  • Sets up proper permissions for GitHub Pages deployment
  • Generates Rust documentation using cargo doc and deploys it to GitHub Pages

Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

Comment thread .github/workflows/docs.yml
Comment thread .github/workflows/docs.yml
@coord-e coord-e merged commit 6c93640 into main Sep 15, 2025
3 checks passed
@coord-e coord-e deleted the docs-pages branch September 15, 2025 04:44
coeff-aij pushed a commit to coeff-aij/thrust that referenced this pull request Jan 12, 2026
Add GitHub Actions workflow to host docs in GitHub pages
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.

2 participants