diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml deleted file mode 100644 index 1d9f78ec1..000000000 --- a/.github/workflows/docs.yml +++ /dev/null @@ -1,32 +0,0 @@ -name: Documentation -# This job builds and deploys documentation to github pages. -# It runs on every push to master, and can be manually triggered. -on: - workflow_dispatch: # allow running workflow manually - push: - branches: - - master - -jobs: - build-and-deploy: - runs-on: ubuntu-latest - container: - image: tendermintdev/docker-website-deployment - steps: - - name: Checkout 🛎️ - uses: actions/checkout@v2.3.4 - with: - persist-credentials: false - fetch-depth: 0 - - - name: Install and Build 🔧 - run: | - apk add rsync - make build-docs - - - name: Deploy 🚀 - uses: JamesIves/github-pages-deploy-action@4.1.2 - with: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - BRANCH: gh-pages - FOLDER: ~/output