From c71175207bfa7fdc2b24ab9ce401d40d907029f2 Mon Sep 17 00:00:00 2001 From: Oliver Kinch Date: Thu, 11 Jul 2024 12:00:10 +0200 Subject: [PATCH] Remove docs --- .github/workflows/docs.yaml | 56 ------------------------------------- 1 file changed, 56 deletions(-) delete mode 100644 .github/workflows/docs.yaml diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml deleted file mode 100644 index aa0548f..0000000 --- a/.github/workflows/docs.yaml +++ /dev/null @@ -1,56 +0,0 @@ -name: website - -# Build the documentation whenever there are new commits on main -on: - push: - branches: - - main - -# Security: restrict permissions for CI jobs. -permissions: - contents: read - -jobs: - # Build the documentation and upload the static HTML files as an artifact. - build: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - - name: Set up Python - uses: actions/setup-python@v4 - with: - python-version: "3.11" - - - name: Install Dependencies - run: | - python -m venv venv - source venv/bin/activate - pip install -r requirements.txt - - - name: Build documentation - run: pip install pdoc==7.3.0 && pdoc --docformat google src/domsdatabasen -o docs - - - name: Compress documentation - run: tar --directory docs/ -hcf artifact.tar . - - - name: Upload documentation - uses: actions/upload-artifact@v3 - with: - name: github-pages - path: ./artifact.tar - - # Deploy the artifact to GitHub pages. - # This is a separate job so that only actions/deploy-pages has the necessary permissions. - deploy: - needs: build - runs-on: ubuntu-latest - permissions: - pages: write - id-token: write - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - steps: - - id: deployment - uses: actions/deploy-pages@v1