lmql-web.yml

name: Browser Build & Web Deploy

on:
  push:
    branches: [ "main", "next"]

jobs:
  build:

    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v3
    - name: Sphinx Build
      # You may pin to the exact commit or the version.
      # uses: ammaraskar/sphinx-action@8b4f60114d7fd1faeba1a712269168508d4750d2
      uses: ammaraskar/sphinx-action@0.4
      with:
        pre-build-command: "apt-get update -y && apt-get install -y pandoc"
    - name: Clean permissions
      # You may pin to the exact commit or the version.
      # uses: main-quest/actions.clean-permissions@c8603ac2fddde3426082da840e0baff43a6505af
      uses: main-quest/actions.clean-permissions@v1.0.4
    - uses: actions/upload-artifact@v1
      with:
        name: DocumentationHTML
        path: docs/build/html/
    - name: Prepare Node.js environment
      uses: actions/setup-node@v3
      with:
        node-version: 19.x
    - uses: actions/download-artifact@v3
      name: Restore docs/build/html
      with:
        name: DocumentationHTML
        path: docs/build/html/
    - name: Build web/ and In-Browser LMQL Distribution
      run: cd web && bash deploy.sh    
    - uses: actions/upload-artifact@master
      with:
        name: lmql-web-payload
        path: web-deploy

  deploy-main:
    name: Deploy Main Playground 
    runs-on: ubuntu-latest
    needs: [build]
    if:
      contains('
        refs/heads/main
      ', github.ref)
    steps:
    - uses: actions/checkout@master
    - uses: actions/download-artifact@master
      with:
        name: lmql-web-payload
        path: web-deploy
    - name: Deploy to web branch
      uses: JamesIves/github-pages-deploy-action@v4
      with:
        folder: web-deploy
        branch: web

  deploy-next:
    name: Deploy Next Playground
    runs-on: ubuntu-latest
    needs: [build]
    if:
      contains('
        refs/heads/next
      ', github.ref)
    steps:
    - uses: actions/checkout@master
    - uses: actions/download-artifact@master
      with:
        name: lmql-web-payload
        path: web-deploy
    - run: cp -r web-deploy/playground/* web-deploy/
    - name: Deploy to web branch
      uses: JamesIves/github-pages-deploy-action@v4
      with:
        repository-name: lmql-lang/lmql-next
        ssh-key: ${{ secrets.LMQL_LANG_NEXT_PUSH_KEY }} 
        folder: web-deploy
        branch: web