From bba63c19674d70e4a31d20696bf45bd0b5dd60c8 Mon Sep 17 00:00:00 2001 From: gaurav Date: Wed, 25 Oct 2023 12:49:23 -0700 Subject: [PATCH] Create sphinx --- .github/workflows/sphinx | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 .github/workflows/sphinx diff --git a/.github/workflows/sphinx b/.github/workflows/sphinx new file mode 100644 index 0000000..dfb7d62 --- /dev/null +++ b/.github/workflows/sphinx @@ -0,0 +1,18 @@ +name: Deploy Sphinx documentation to 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@v3