Skip to content

autopublish

autopublish #653

Workflow file for this run

# https://github.com/peaceiris/actions-gh-pages#%EF%B8%8F-mdbook-rust
name: github pages
on:
push:
branches: [ main ]
repository_dispatch:
types: [ autopublish ]
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
# Add the ssh-key to the keyring in order to clone repos
- uses: webfactory/[email protected]
with:
ssh-private-key: ${{ secrets.ssh_key }}
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: '0.3.7'
# mdbook-version: 'latest'
# Bundle alan compiler and js-runtime
- run: bash alan-playground.sh
- run: mdbook build
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./book
cname: docs.alan-lang.org