docs.yml

name: GitHub Pages
on:
    workflow_dispatch:
    push:
        branches:
            - main
#        tags:
#            - "[0-9]+.[0-9]+.[0-9]+"
permissions:
    contents: write
jobs:
    build:
        runs-on: ubuntu-latest
        steps:
            - uses: actions/checkout@v4
              with:
                  submodules: "recursive"
                  fetch-depth: 10
            - uses: actions/setup-node@v4
              with:
                  node-version: "20"
                  cache: yarn
            - run: yarn install --frozen-lockfile
            - name: Typecheck
              run: yarn typecheck
            - name: Compile
              run: yarn compile
            - name: Build slides
              run: yarn build:slides
            - name: Build docs
              run: yarn build:docs
            - name: no jekyll
              run: touch docs/dist/.nojekyll
            - name: Deploy 🚀
              uses: JamesIves/github-pages-deploy-action@v4
              with:
                  folder: docs/dist
                  single-commit: true