diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml deleted file mode 100644 index 703a9d55..00000000 --- a/.github/workflows/docs.yml +++ /dev/null @@ -1,18 +0,0 @@ -# name: Docs -# on: -# push: -# branches: -# - main -# jobs: -# build-docs-and-deploy: -# runs-on: ubuntu-latest -# steps: -# - name: Checkout 🛎️ -# uses: actions/checkout@v2 -# with: -# persist-credentials: false -# - name: Deploy docs 🚀 -# uses: mhausenblas/mkdocs-deploy-gh-pages@master -# env: -# GITHUB_TOKEN: ${{ secrets.TOKEN }} -# CONFIG_FILE: docs/mkdocs.yml