From 96db0ae84a67966e5ee4e6f3f8c71995ac4eab75 Mon Sep 17 00:00:00 2001 From: Marko Date: Wed, 2 Jun 2021 06:26:44 +0000 Subject: [PATCH] remove docs deployment (#6524) --- .github/workflows/docs.yml | 32 -------------------------------- 1 file changed, 32 deletions(-) delete mode 100644 .github/workflows/docs.yml 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