From d1e25ff008a2c2b4484ae203aa22b9fd7d42a7ce Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jochen=20Ku=CC=88pper?= <jochen.kuepper@cfel.de>
Date: Tue, 3 Oct 2023 15:41:19 +0200
Subject: [PATCH] Remove github action

---
 .github/workflows/sphinx.yml | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 .github/workflows/sphinx.yml

diff --git a/.github/workflows/sphinx.yml b/.github/workflows/sphinx.yml
deleted file mode 100644
index 1211204..0000000
--- a/.github/workflows/sphinx.yml
+++ /dev/null
@@ -1,18 +0,0 @@
-name: Deploy Sphinx documentation to Pages
-
-on:
-  push:
-    branches: [release] # branch to trigger deployment
-
-jobs:
-  pages:
-    runs-on: ubuntu-20.04
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    permissions:
-      pages: write
-      id-token: write
-    steps:
-    - id: deployment
-      uses: sphinx-notes/pages@v3