You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
32 lines
828 B
32 lines
828 B
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.1
|
|
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@3.7.1
|
|
with:
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
BRANCH: gh-pages
|
|
FOLDER: ~/output
|