ci: Remove disnecessary stuff

GrayJack · May 15, 2024 · 9de2ae5 · 9de2ae5
1 parent ed4d623
commit 9de2ae5
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -34,21 +34,10 @@ jobs:
         RUSTDOCFLAGS: --cfg _doc
       run: cargo doc -Zrustdoc-map
 
-    - name: Build C Documentation
-      uses: mattnotmitt/[email protected]
-
     - name: Deploy Docs
       uses: peaceiris/actions-gh-pages@v3
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_branch: gh-pages
         publish_dir: ./target/doc
         force_orphan: true
-
-    - name: Deploy External Docs
-      uses: peaceiris/actions-gh-pages@v3
-      with:
-        deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
-        external_repository: oxilibc/oxilibc-docs
-        publish_branch: main  # default: gh-pages
-        publish_dir: ./target/doc