From 8623f8ab30b2e481a9befbca3f17b60c486104be Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Fri, 19 Dec 2025 18:13:14 +0000 Subject: [PATCH 1/2] Initial plan From e42e0abe0a09db36fed436a902596b63a5bf2e47 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Fri, 19 Dec 2025 18:15:55 +0000 Subject: [PATCH 2/2] Remove "Deploy Docs to GitHub Pages" CI script - Remove .github/workflows/rustdoc.yml file containing the GitHub Pages deployment workflow - This workflow was deploying documentation to the gh-pages branch on every push to master Co-authored-by: hsluoyz <3787410+hsluoyz@users.noreply.github.com> --- .github/workflows/rustdoc.yml | 37 ----------------------------------- 1 file changed, 37 deletions(-) delete mode 100644 .github/workflows/rustdoc.yml diff --git a/.github/workflows/rustdoc.yml b/.github/workflows/rustdoc.yml deleted file mode 100644 index e668e1bd..00000000 --- a/.github/workflows/rustdoc.yml +++ /dev/null @@ -1,37 +0,0 @@ -name: Deploy Docs to GitHub Pages - -on: - push: - branches: - - master - -jobs: - release: - name: GitHub Pages - runs-on: ubuntu-latest - - steps: - - name: Checkout Repository - uses: actions/checkout@v4 - - - name: Install Rust toolchain - uses: actions-rs/toolchain@v1 - with: - toolchain: stable - profile: minimal - override: true - components: rustfmt, rust-src - - - name: Build Documentation - uses: actions-rs/cargo@v1 - with: - command: doc - args: --all --no-deps - - - name: Deploy Documentation - uses: peaceiris/actions-gh-pages@v3 - with: - deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }} - publish_branch: gh-pages - publish_dir: ./target/doc - keep_files: true