Skip to content

Generate spago-next configs #275

Generate spago-next configs

Generate spago-next configs #275

Workflow file for this run

name: Build Book
on:
push:
branches: [master]
pull_request:
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: 'latest'
- name: Set up PureScript toolchain
uses: purescript-contrib/setup-purescript@main
- name: Add version section
run: |
version=$(purs --version)
today=$(date -I)
echo -e "\n## Release\n" >> README.md
echo -e "PureScript v$version\n" >> README.md
echo -e "Published on $today" >> README.md
- run: mdbook build
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: github.ref == 'refs/heads/master'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./book
cname: book.purescript.org