From 3d9c5d1e9448c037f5157660558f46186947e20f Mon Sep 17 00:00:00 2001 From: ***** Date: Wed, 25 Oct 2023 14:38:44 -0700 Subject: [PATCH] take out sphinx --- .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 1f85c5e..0000000 --- a/.github/workflows/sphinx.yml +++ /dev/null @@ -1,18 +0,0 @@ -name: Sphinx to GitHub Pages - -on: - push: - branches: [master] # 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@3.0