From 338dac40f68cd0b38958d6af2efc1cc937ac3996 Mon Sep 17 00:00:00 2001 From: Marko Date: Mon, 26 Apr 2021 10:54:07 +0000 Subject: [PATCH] remove docs deployment (#9202) --- .github/workflows/docs.yml | 31 ------------------------------- 1 file changed, 31 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 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