From 843d45ef56a9ebac78b33c708c54c65b86bc7a8a Mon Sep 17 00:00:00 2001
From: Darius Maitia <darius@zettascale.tech>
Date: Thu, 21 Dec 2023 12:20:35 +0100
Subject: [PATCH] Deleting documentation workflow.

Now the documentation is loaded and deployed from the /docs directory, after configuring GitHub for it.
---
 .github/workflows/documentation.yml | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100644 .github/workflows/documentation.yml

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
deleted file mode 100644
index 7e324fff..00000000
--- a/.github/workflows/documentation.yml
+++ /dev/null
@@ -1,24 +0,0 @@
-name: Publish Documentation
-
-on:
-  release:
-    types: [published]
-  workflow_dispatch:
-
-env:
-  CARGO_TERM_COLOR: always
-
-jobs:
-  build_doc_and_deploy:
-    name: Build and Deploy Documentation
-    runs-on: ubuntu-latest
-    permissions:
-      contents: write
-    steps:
-      - uses: actions/checkout@v4
-
-      - name: Deploy doc
-        uses: peaceiris/actions-gh-pages@v3
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./docs