From dcbe573784b6d5bf07b41bc9da409df17983d529 Mon Sep 17 00:00:00 2001
From: Nicolas Frank <nicolas.frank@epfl.ch>
Date: Wed, 11 Sep 2024 17:46:25 +0200
Subject: [PATCH] Remove doc building yml

---
 .github/workflows/docs_buildings.yaml | 50 ---------------------------
 1 file changed, 50 deletions(-)
 delete mode 100644 .github/workflows/docs_buildings.yaml

diff --git a/.github/workflows/docs_buildings.yaml b/.github/workflows/docs_buildings.yaml
deleted file mode 100644
index 9c422a5..0000000
--- a/.github/workflows/docs_buildings.yaml
+++ /dev/null
@@ -1,50 +0,0 @@
-name: GitHub Pages
-
-on:
-  push:
-    branches:
-      - main
-
-jobs:
-  deploy:
-    runs-on: ubuntu-22.04
-    permissions:
-      contents: write
-    concurrency:
-      group: ${{ github.workflow }}-${{ github.ref }}
-    steps:
-      - uses: actions/checkout@v3
-
-      - name: Setup Python
-        uses: actions/setup-python@v3
-        with:
-          python-version: '3.10'
-
-      - name: Upgrade pip
-        run: |
-          # install pip=>20.1 to use "pip cache dir"
-          python3 -m pip install --upgrade pip
-
-      - name: Get pip cache dir
-        id: pip-cache
-        run: echo "dir=$(pip cache dir)" >> $GITHUB_OUTPUT
-
-      - name: Cache dependencies
-        uses: actions/cache@v3
-        with:
-          path: ${{ steps.pip-cache.outputs.dir }}
-          key: ${{ runner.os }}-pip-${{ hashFiles('**/pyproject.toml') }}
-          restore-keys: |
-            ${{ runner.os }}-pip-
-
-      - name: Install dependencies
-        run: python3 -m pip install  mkdocs-material mkdocstrings[python]
-
-      - run: mkdocs build
-
-      - name: Deploy
-        uses: peaceiris/actions-gh-pages@v4
-        if: github.ref == 'refs/heads/main'
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./site