From f1cadfda0ca86f206e8fd4df897373729d4d7750 Mon Sep 17 00:00:00 2001
From: MarcoIeni <11428655+MarcoIeni@users.noreply.github.com>
Date: Wed, 27 Nov 2024 16:17:46 +0100
Subject: [PATCH] remove docs publishing

---
 library/stdarch/.github/workflows/doc.yml | 25 -----------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 library/stdarch/.github/workflows/doc.yml

diff --git a/library/stdarch/.github/workflows/doc.yml b/library/stdarch/.github/workflows/doc.yml
deleted file mode 100644
index d2887b369a3b..000000000000
--- a/library/stdarch/.github/workflows/doc.yml
+++ /dev/null
@@ -1,25 +0,0 @@
-name: Docs
-
-on:
-  push:
-    branches:
-      - master
-
-jobs:
-  docs:
-    name: Publish Documentation
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v4
-    - name: Install Rust
-      run: rustup update nightly --no-self-update && rustup default nightly
-    - run: ci/dox.sh
-      env:
-        CI: 1
-    - name: Publish documentation
-      run: |
-        cd target/doc
-        git init
-        git add .
-        git -c user.name='ci' -c user.email='ci' commit -m init
-        git push -f -q https://git:${{ secrets.github_token }}@github.com/${{ github.repository }} HEAD:gh-pages