From 19ccb27dbd81ba71e69730b7e32474b48ab824dd Mon Sep 17 00:00:00 2001 From: Matthias Date: Tue, 20 Aug 2024 21:19:26 +0200 Subject: [PATCH] chore: deploy through github internal pipeline --- .github/workflows/deploy-docs.yml | 9 ------ .github/workflows/deploy-to-gha.yml | 43 ----------------------------- 2 files changed, 52 deletions(-) delete mode 100644 .github/workflows/deploy-to-gha.yml diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml index 4fa1412dd..c97934a51 100644 --- a/.github/workflows/deploy-docs.yml +++ b/.github/workflows/deploy-docs.yml @@ -53,12 +53,3 @@ jobs: - name: Show mike versions run: | mike list - - # deploy-to-gha: - # needs: build-docs - # permissions: - # contents: read - # pages: write - # id-token: write - # uses: ./.github/workflows/deploy-to-gha.yml - diff --git a/.github/workflows/deploy-to-gha.yml b/.github/workflows/deploy-to-gha.yml deleted file mode 100644 index 8fe77edad..000000000 --- a/.github/workflows/deploy-to-gha.yml +++ /dev/null @@ -1,43 +0,0 @@ -name: Deploy Documentation - -on: - workflow_dispatch: - workflow_call: - -# 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: - # Single deploy job since we're just deploying - deploy: - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - with: - ref: gh-pages - - - name: Setup Pages - uses: actions/configure-pages@v5 - - - name: Upload artifact - uses: actions/upload-pages-artifact@v3 - with: - # Upload entire repository - path: '.' - - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4