Skip to content

autopublish

autopublish #845

Workflow file for this run

name: github pages
on:
push:
branches: [ main ]
repository_dispatch:
types: [ autopublish ]
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
# Add the ssh-key to the keyring in order to clone repos
- uses: webfactory/[email protected]
with:
ssh-private-key: ${{ secrets.ssh_key }}
# Bundle alan wasm compiler and js std
- run: bash build.sh
- name: Deploy
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./home
cname: alan-lang.org