From 2e8e4ddb89db827959172d1bf095e6bc06ddacb7 Mon Sep 17 00:00:00 2001 From: Pietro Albini Date: Thu, 23 May 2024 11:59:54 +0200 Subject: [PATCH] remove old github pages deployment --- .github/workflows/ci.yml | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ad04bbe..c3674a1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -107,7 +107,6 @@ jobs: with: path: docs/build/html - deploy-docs: if: github.event_name == 'push' && github.ref == 'refs/heads/staging' environment: @@ -123,7 +122,6 @@ jobs: uses: actions/deploy-pages@v4 id: github-pages - build-finished: name: CI build successful runs-on: ubuntu-latest @@ -132,19 +130,5 @@ jobs: - build-test - docs steps: - - name: Download built documentation for publishing - uses: actions/download-artifact@v3 - with: - name: docs - path: /tmp/docs - if: github.event_name == 'push' && github.ref == 'refs/heads/staging' - - - name: Publish the documentation to GitHub Pages - uses: ferrous-systems/shared-github-actions/github-pages@main - with: - path: /tmp/docs - token: ${{ secrets.GITHUB_TOKEN }} - if: github.event_name == 'push' && github.ref == 'refs/heads/staging' - - name: Mark the build as successful run: exit 0