From 2db5450b77d736bbd545dab3b71a3681782d62f9 Mon Sep 17 00:00:00 2001 From: Philip Linden Date: Wed, 27 Nov 2024 17:21:20 -0500 Subject: [PATCH] ci: skip deploys --- .github/workflows/cargo.yml | 62 ++++++++++++++++++------------------- 1 file changed, 31 insertions(+), 31 deletions(-) diff --git a/.github/workflows/cargo.yml b/.github/workflows/cargo.yml index 40da11b..2a0c0dc 100644 --- a/.github/workflows/cargo.yml +++ b/.github/workflows/cargo.yml @@ -65,34 +65,34 @@ jobs: name: doc path: target/doc - deploy: - if: github.ref == 'refs/heads/main' - needs: doc - # Grant GITHUB_TOKEN the permissions required to make a Pages deployment - permissions: - pages: write # to deploy to Pages - id-token: write # to verify the deployment originates from an appropriate source - # Deploy to the github-pages environment - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - with: - fetch-depth: 0 - - - uses: actions/download-artifact@v4 - with: - name: doc - path: ${{ github.workspace }} - - - name: Upload Pages artifact - uses: actions/upload-pages-artifact@v3 - with: - path: target/doc - - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4 - if: github.event_name != 'pull_request' + # deploy: + # if: github.ref == 'refs/heads/main' + # needs: doc + # # Grant GITHUB_TOKEN the permissions required to make a Pages deployment + # permissions: + # pages: write # to deploy to Pages + # id-token: write # to verify the deployment originates from an appropriate source + # # Deploy to the github-pages environment + # environment: + # name: github-pages + # url: ${{ steps.deployment.outputs.page_url }} + # runs-on: ubuntu-latest + # steps: + # - uses: actions/checkout@v3 + # with: + # fetch-depth: 0 + + # - uses: actions/download-artifact@v4 + # with: + # name: doc + # path: ${{ github.workspace }} + + # - name: Upload Pages artifact + # uses: actions/upload-pages-artifact@v3 + # with: + # path: target/doc + + # - name: Deploy to GitHub Pages + # id: deployment + # uses: actions/deploy-pages@v4 + # if: github.event_name != 'pull_request'