Skip to content

Make GoslingWidget an anywidget (#162) #132

Make GoslingWidget an anywidget (#162)

Make GoslingWidget an anywidget (#162) #132

Workflow file for this run

name: GitHub Pages
on:
push:
branches: ['main']
workflow_dispatch:
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: "pages"
cancel-in-progress: true
env:
SKIP_DENO_BUILD: "1"
jobs:
Deploy:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: astral-sh/setup-uv@v3
with:
version: "0.5.x"
- run: |
uv run docs/build.py
- name: Setup Pages
uses: actions/configure-pages@v5
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
with:
path: './docs/dist'
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4
Pages:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4