# name: website

# on:
#   push:
#     branches: [ main ]
#   pull_request:
#     branches: [ main ]

# permissions:
#   contents: write

# jobs:
#   deploy:
#     runs-on: ubuntu-latest
#     steps:
#     - uses: actions/checkout@v4
#     ###################################################
#     - uses: actions/setup-node@v3.1.1
#     - name: Retype build
#       run: |
#         python scripts/build_references.py
#         cd docs
#         npm install retypeapp --global
#         retype build
#     ###################################################
#     - name: Setup emsdk
#       uses: mymindstorm/setup-emsdk@v12
#       with:
#         version: 3.1.25
#         actions-cache-folder: 'emsdk-cache'
#     - name: Compile
#       run: |
#         bash build_web.sh
#         mv web docs/.retype/static
#     ###################################################
#     - uses: crazy-max/ghaction-github-pages@v3
#       with:
#         target_branch: gh-pages
#         build_dir: docs/.retype
#       env:
#         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
#       if: github.ref == 'refs/heads/main'