diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml deleted file mode 100644 index f58e2ed1ed..0000000000 --- a/.github/workflows/docs.yml +++ /dev/null @@ -1,31 +0,0 @@ -name: Documentation -# This job builds and deploys documenation to github pages. -# It runs on every push to master. -on: - 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.1 - with: - persist-credentials: false - fetch-depth: 0 - - - name: Install and Build 🔧 - run: | - apk add rsync - make build-docs LEDGER_ENABLED=false - - - name: Deploy 🚀 - uses: JamesIves/github-pages-deploy-action@4.1.1 - with: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - BRANCH: gh-pages - FOLDER: ~/output