mirror of
https://github.com/tendermint/tendermint.git
synced 2026-01-05 21:14:53 +00:00
63 lines
1.8 KiB
YAML
63 lines
1.8 KiB
YAML
# Build and deploy the docs.tendermint.com website content.
|
|
# The static content is published to GitHub Pages.
|
|
#
|
|
# For documentation build info, see docs/DOCS_README.md.
|
|
name: Build static documentation site
|
|
on:
|
|
workflow_dispatch: # allow manual updates
|
|
push:
|
|
branches:
|
|
- master
|
|
paths:
|
|
- docs/**
|
|
- spec/**
|
|
|
|
jobs:
|
|
# This is split into two jobs so that the build, which runs npm, does not
|
|
# have write access to anything. The deploy requires write access to publish
|
|
# to the branch used by GitHub Pages, however, so we can't just make the
|
|
# whole workflow read-only.
|
|
build:
|
|
name: VuePress build
|
|
runs-on: ubuntu-latest
|
|
container:
|
|
image: alpine:latest
|
|
permissions:
|
|
contents: read
|
|
steps:
|
|
- name: Install generator dependencies
|
|
run: |
|
|
apk add --no-cache make bash git npm
|
|
- uses: actions/checkout@v4
|
|
with:
|
|
# We need to fetch full history so the backport branches for previous
|
|
# versions will be available for the build.
|
|
fetch-depth: 0
|
|
- name: Build documentation
|
|
run: |
|
|
git config --global --add safe.directory "$PWD"
|
|
make build-docs
|
|
- uses: actions/upload-artifact@v4
|
|
with:
|
|
name: build-output
|
|
path: ~/output/
|
|
|
|
deploy:
|
|
name: Deploy to GitHub Pages
|
|
runs-on: ubuntu-latest
|
|
needs: build
|
|
permissions:
|
|
contents: write
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
- uses: actions/download-artifact@v4
|
|
with:
|
|
name: build-output
|
|
path: ~/output
|
|
- name: Deploy to GitHub Pages
|
|
uses: JamesIves/github-pages-deploy-action@v4
|
|
with:
|
|
branch: 'docs-tendermint-com'
|
|
folder: ~/output
|
|
single-commit: true
|