diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml deleted file mode 100644 index ab41574..0000000 --- a/.github/workflows/deploy-docs.yml +++ /dev/null @@ -1,37 +0,0 @@ -name: Deploy Docs - -on: - push: - branches: - - docs-html - -permissions: - contents: read - pages: write - id-token: write - -jobs: - deploy: - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - with: - ref: docs-html - - name: Setup Pages - uses: actions/configure-pages@v4 - - name: Upload artifact - uses: actions/upload-pages-artifact@v3 - with: - path: 'docs' - # path: 'docs/_build/html' - - name: Verify artifact contents - run: | - echo "Artifact contents:" - tar -tvf ${{ runner.temp }}/artifact.tar - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4 \ No newline at end of file