Skip to content

Fix spelling errors in documentation (#164) #344

Fix spelling errors in documentation (#164)

Fix spelling errors in documentation (#164) #344

Workflow file for this run

name: Build and deploy GH Pages
# On every push this script is executed
on: push
jobs:
build:
runs-on: ubuntu-latest
if: github.ref == 'refs/heads/main'
steps:
- name: 'Checkout'
uses: actions/checkout@v2
with:
submodules: 'true'
- name: 'Setup mdbook'
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: 'latest'
- run: |
sed -i'' -e 's/\[output.linkcheck\]//g' book.toml
mdbook build
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_branch: gh-pages
publish_dir: ./book
cname: linera.dev