From 16afd191f8a15f1ec26f6867f2522a64b33bc626 Mon Sep 17 00:00:00 2001 From: gallg Date: Wed, 9 Oct 2024 13:08:17 +0200 Subject: [PATCH] Delete docs/deploy_docs.yml --- docs/deploy_docs.yml | 35 ----------------------------------- 1 file changed, 35 deletions(-) delete mode 100644 docs/deploy_docs.yml diff --git a/docs/deploy_docs.yml b/docs/deploy_docs.yml deleted file mode 100644 index faf72a4..0000000 --- a/docs/deploy_docs.yml +++ /dev/null @@ -1,35 +0,0 @@ -name: Documentation Deployment -on: - push: - # Runs on pushes targeting the default branch - branches: [main] -env: - BASE_URL: /docs/${{ github.event.repository.name }} - -# 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: - deploy: - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - name: Setup Pages - uses: actions/configure-pages@v3 - - name: Upload artifact - uses: actions/upload-pages-artifact@v1 - with: - path: './docs/_build/html' - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v2