Skip to content

Conversation

@castelao
Copy link
Member

@castelao castelao commented Oct 5, 2025

No description provided.

@castelao castelao self-assigned this Oct 5, 2025
@castelao castelao requested a review from ppinchuk as a code owner October 5, 2025 16:27
@castelao castelao added documentation Improvements or additions to documentation chore Maintenance work that does not impact the end user rust labels Oct 5, 2025
Copilot AI review requested due to automatic review settings October 5, 2025 16:27
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 modifies the GitHub Pages deployment configuration to preserve existing files in the gh-pages branch instead of replacing them entirely.

  • Commented out the destination_dir and force_orphan options
  • Added keep_files: true to preserve existing files during deployment

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

@castelao castelao merged commit 5b889a0 into main Oct 5, 2025
21 checks passed
@castelao castelao deleted the fix/benchmark_history branch October 5, 2025 16:30
github-actions bot pushed a commit that referenced this pull request Oct 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Maintenance work that does not impact the end user documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants