From 6de82be7fe88820eb0f869c8a40e40b8323adb96 Mon Sep 17 00:00:00 2001 From: Abdallah-Ragab <93019811+Abdallah-Ragab@users.noreply.github.com> Date: Sun, 17 Sep 2023 22:35:21 +0300 Subject: [PATCH 1/2] Delete .github/workflows/build-and-deploy-documents-to-pages.yml --- .../build-and-deploy-documents-to-pages.yml | 62 ------------------- 1 file changed, 62 deletions(-) delete mode 100644 .github/workflows/build-and-deploy-documents-to-pages.yml diff --git a/.github/workflows/build-and-deploy-documents-to-pages.yml b/.github/workflows/build-and-deploy-documents-to-pages.yml deleted file mode 100644 index 372aa7f..0000000 --- a/.github/workflows/build-and-deploy-documents-to-pages.yml +++ /dev/null @@ -1,62 +0,0 @@ -# Simple workflow for deploying static content to GitHub Pages -name: Build and Deploy Documents to Pages - -on: - release: - types: [published] - workflow_dispatch: - workflow_run: - workflows: python-publish - - -# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages -permissions: - contents: read - pages: write - id-token: write - -# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued. -# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete. -concurrency: - group: "pages" - cancel-in-progress: false - -jobs: - build: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - name: Set up Python - uses: actions/setup-python@v3 - with: - python-version: '3.x' - - name: Add permissions - run: | - git update-index --chmod=+x ./docs/make.bat - - name: Install dependencies - run: | - python -m pip install --upgrade pip - pip install -r "docs/requirements.txt" - - name: build documents - run: ./docs/make.bat html - - # Single deploy job since we're just deploying - deploy: - needs: build - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v3 - - name: Setup Pages - uses: actions/configure-pages@v3 - - name: Upload artifact - uses: actions/upload-pages-artifact@v2 - with: - # Upload entire repository - path: './docs/html' - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v2 From 7ebfbc725d1e6dee4dd0df798bbc2d1ada74d593 Mon Sep 17 00:00:00 2001 From: Abdallah-Ragab <93019811+Abdallah-Ragab@users.noreply.github.com> Date: Sun, 17 Sep 2023 22:35:33 +0300 Subject: [PATCH 2/2] Delete .github/workflows/sphinx-documents-publish.yml --- .../workflows/sphinx-documents-publish.yml | 22 ------------------- 1 file changed, 22 deletions(-) delete mode 100644 .github/workflows/sphinx-documents-publish.yml diff --git a/.github/workflows/sphinx-documents-publish.yml b/.github/workflows/sphinx-documents-publish.yml deleted file mode 100644 index e1f73e0..0000000 --- a/.github/workflows/sphinx-documents-publish.yml +++ /dev/null @@ -1,22 +0,0 @@ -name: Deploy Sphinx documentation to Pages - - -on: - release: - types: [published] - workflow_dispatch: - workflow_run: - workflows: python-publish - -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