update_site.yml

name: Update site

on:
  push:
    branches: [main]

permissions:
  contents: write

jobs:
  build_and_deploy:
    name: 'Build and deploy'
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v3

      - name: Get stable toolchain
        uses: actions-rs/toolchain@v1
        with:
            toolchain: stable
            override: true

      - name: Build wasm-pack
        run: |
          cargo install wasm-pack

      - name: Build site
        run: |
          ./build_site

      - name: Copy Prelude.hs
        run: |
          rm site/Prelude.hs
          cp Prelude.hs site/Prelude.hs

      - name: Deploy site
        uses: JamesIves/github-pages-deploy-action@v4
        with:
          folder: site