From f04fb3ca3d5e22df9fecfa28c8263bb46a406781 Mon Sep 17 00:00:00 2001 From: erenJag Date: Fri, 15 May 2020 16:49:08 +0200 Subject: [PATCH] remove doc build from github --- .github/workflows/deploy_doc.yml | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 .github/workflows/deploy_doc.yml diff --git a/.github/workflows/deploy_doc.yml b/.github/workflows/deploy_doc.yml deleted file mode 100644 index de5ec15b6..000000000 --- a/.github/workflows/deploy_doc.yml +++ /dev/null @@ -1,22 +0,0 @@ -on: - push: - branches: - - gh_pages_deploy - paths: - - 'docs/**' - - 'mkdocs.yml' - - '.github/workflows/deploy_doc.yml' -name: Deploy documentation -jobs: - build: - name: Deploy documentation - runs-on: ubuntu-latest - steps: - - name: Checkout master - uses: actions/checkout@v1 - - - name: Deploy docs - uses: mhausenblas/mkdocs-deploy-gh-pages@master - env: - PERSONAL_TOKEN: ${{ secrets.AUTOMATION_TOKEN }} - #CUSTOM_DOMAIN: optionaldomain.com \ No newline at end of file