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-gh-docs
|
|
|
|
- name: Deploy 🚀
|
|
uses: JamesIves/github-pages-deploy-action@3.7.1
|
|
with:
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
BRANCH: gh-pages
|
|
FOLDER: ~/output
|